Math: Logic and Foundations: Software: Paradox

Home: Math: Logic and Foundations: Software:

Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: Software: Paradox

URL: http://www.cs.chalmers.se/~koen/paradox/

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.

Detailed Traffic Statistic From Alexa

Previous Next

HOME | ADD A LINK | MODIFY A LINK | LOGIN

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people