Softpedia >Mac >  Applications filed under: reasoning engine  (1 item)

Apps filed under: reasoning engine

  RSS Feed for this tag 1 application totalLast updated: Feb 12th 2013, 16:07 GMT

     
  • 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