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

[Antoine Mathys <Antoine.Mathys@unifr.ch>]

Package: wnpp
Version: N/A; reported 2003-02-03
Severity: wishlist

* Package name    : sem
  Version         : 1.7
  Upstream Author : Jian Zhang <jizhang@cs.uiowa.edu>
                    Hantao Zhang <hzhang@cs.uiowa.edu>
* URL             : http://www.cs.uiowa.edu/~hzhang/sem.html
* License         : none
  Description     : find models of given logical theories

 SEM is a System for Enumerating finite Models. Given a theory 
 defined by some axioms, the program tries to find one model or a
 specified number of models. The size of the model(s) should be finite,
 and given by the user. Essentially the program performs an exhaustive
 search.
 .
 Homepage: http://www.cs.uiowa.edu/~hzhang/sem.html

-- System Information
Debian Release: 3.0
Architecture: i386
Kernel: Linux leonov 2.4.18 #6 Sun Dec 29 08:30:49 CET 2002 i686
Locale: LANG=C, LC_CTYPE=