fmc2iasp is a system for computing finite models of first-order theories
(written in TPTP format)
via incremental Answer Set Programming.
fmc2iasp uses iclingo for finding answer sets of the resulting logic program.
An answer set represents a finite model of the input theory.
System
(replaced by fimo)
Article
