Description: A tool that processes first-order logic problems and tries to find finite-domain models for them; written by Koen Claessen and Niklas Sörensson. Haskell and C++; free download under GPL.
Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people