AtomSeek the directory or science  

Math: Logic and Foundations: Software: Paradox
  Home : Math : Logic and Foundations : Software :
Submitted: Sat Sep 06 2003
Title: Paradox
URL: http://www.cs.chalmers.se/~koen/paradox/
CT: Math: Logic and Foundations: Software: 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
Detailed Traffic Statistic From Alexa

 
  Previous      Next

  HOME | ADD A LINK | MODIFY A LINK | LOGIN


© atomseek.com
Website Development by MIRO

UFOseek.com - Directory, Community and News. UFO Seek Forum  is a growing community for discussion of UFO-Paranormal, mysterious and unexplained topics.