Download: µTerm

Name Platform Version Date Mandatory Requirements File Size Comments
µTerm 4.3 September 20, 2006
  • GNU/Linux
  • CiME Constraint Solver
  • wx-Haskell library
 3.49 MB Tool for proving termination of rewriting with replacement restrictions
µTerm 4.3 September 20, 2006
  • Mac OSX
  • CiME Constraint Solver
  • wx-Haskell library
 2.41 MB Tool for proving termination of rewriting with replacement restrictions
µTerm 4.3 September 20, 2006
  • Windows 98/Me/NT/2000/XP
  • CiME Constraint Solver
  • wx-Haskell library
 2.42 MB Tool for proving termination of rewriting with replacement restrictions
 
Name Platform Version Date Mandatory Requirements File Size Comments
µTerm
(command version)		 4.3 September 20, 2006
  • GNU/Linux
  • CiME Constraint Solver
 0.80 MB Tool for proving termination of rewriting with replacement restrictions
µTerm
(command version)		 4.3 September 20, 2006
  • Mac OSX (Intel version)
  • CiME Constraint Solver
 0.88 MB Tool for proving termination of rewriting with replacement restrictions
µTerm
(command version)		 4.3 September 20, 2006
  • Windows 98/Me/NT/2000/XP
  • CiME Constraint Solver
 0.85 MB Tool for proving termination of rewriting with replacement restrictions
 
Name Platform Version Date Mandatory Requirements File Size Comments
CiME 2.02 December 1, 2004
  • GNU/Linux
 0.70 MB

Constraint Solver (Must be in the µTerm directory or in a shared directory)

The CiME Rewrite tool
CiME 2.02 December 1, 2004
  • Mac OSX
 0.16 KB

Constraint Solver (Must be in the µTerm directory or in a shared directory)

The CiME Rewrite tool
CiME 2.02 December 1, 2004
  • Windows 98/Me/NT/2000/XP
 0.67 MB

Constraint Solver (Must be in the µTerm directory or in a shared directory)

The CiME Rewrite tool
 
Name Platform Version Date Mandatory Requirements File Size Comments
wx-Haskell library 0.9.4 September 20, 2006
  • GNU/Linux
 331 KB wx-Haskell Linux library (Must be in the µTerm directory or in a shared libraries directory)
wx-Haskell library 0.9.4 September 20, 2006
  • Mac OSX
 634 KB wx-Haskell Windows library (Must be in the µTerm directory or in a windows dll directory)
wx-Haskell library 0.9.4 September 20, 2006
  • Windows 98/Me/NT/2000/XP
 634 KB wx-Haskell Windows library (Must be in the µTerm directory or in a windows dll directory)