swMATH ID: 6376
Software Authors: John Slaney
Description: Finite domain enumerator. This is a finite domain CSP solver, rather limited in what it can do. Don’t expect it to deal effectively with anything numerical, though it can knock off small problems reasonably quickly. The nice feature (say I) is the input language which is first order logic thinly disguised. Earlier versions of this came with some documentation. This one comes with the injunction to use the Force (read the source). Also read the README that comes with it.
Homepage: http://users.cecs.anu.edu.au/~jks/software/
Related Software: Mace4; SATCHMO; TPTP; OTTER; E-Darvin; Darwin; Kodkod; Prover9; KIV; SATO; Nitpick; E Theorem Prover; VAMPIRE; FALCON; Chaff; PVS; CASL; Isabelle; PSATO; SCOTT
Cited in: 39 Documents

Citations by Year