Apps filed under: reasoning

  RSS Feed for this tag 3 applications totalLast updated: Nov 2nd 2013, 21:35 GMT

     
  • 178 downloads
  • 14.8 MB
LogMap

LogMap 2.4

Highly scalable ontology matching system

Nov 2nd 2013, 21:35 GMT
Mac OS X
     
  • 485 downloads
  • 507 KB
SAT4J

SAT4J 2.3.3

Brings the power of SAT technology to the Java platform

Feb 12th 2013, 16:07 GMT
Mac OS X
     
  • 1,152 downloads
  • 1 KB
Raptor

Raptor 5.0

Java tool for reasoning about imperative programs

Jun 6th 2012, 23:56 GMT
Mac OS X