Bug#179651: ITP: sem -- find models of given logical theories

Package: wnpp Version: N/A; reported 2003-02-03 Severity: wishlist * Package name: sem Version : 1.7 Upstream Author : Jian Zhang <[EMAIL PROTECTED]> Hantao Zhang <[EMAIL PROTECTED]> * URL : http://www.cs.uiowa.edu/~hzhang/sem.html * License

Bug#179567: ITP: formed -- formula editor for first-order logic formulas

Package: wnpp Version: N/A; reported 2003-02-03 Severity: wishlist * Package name: formed Version : 0.9 Upstream Author : Automated Reasoning Group at Argone National Laboratory <[EMAIL PROTECTED]> * URL : http://www.mcs.anl.gov/AR/otter/ * License

Bug#179568: ITP: mace -- Search for countermodels in equational logic

Package: wnpp Version: N/A; reported 2003-02-03 Severity: wishlist * Package name: mace Version : 2.0 Upstream Author : Automated Reasoning Group at Argone National Laboratory <[EMAIL PROTECTED]> * URL : http://www-unix.mcs.anl.gov/AR/mace/ * Licens

Bug#179557: ITP: otter -- Search for proofs in equational logic

Package: wnpp Version: N/A; reported 2003-02-03 Severity: wishlist * Package name: otter Version : 3.2 Upstream Author : Automated Reasoning Group at Argone National Laboratory <[EMAIL PROTECTED]> * URL : http://www.mcs.anl.gov/AR/otter/ * License

Bug#179556: ITP: eqp -- A theorem prover for equational logic

Package: wnpp Version: N/A; reported 2003-02-03 Severity: wishlist * Package name: eqp Version : 09d Upstream Author : Automated Reasoning Group at Argonne National Laboratory <[EMAIL PROTECTED]> * URL : http://www-unix.mcs.anl.gov/AR/eqp/ * License