Softpedia >Windows >  Applications filed under: SAT Solver  (2 items)

Apps filed under: SAT Solver

  RSS Feed for this tag 2 applications totalLast updated: Feb 23rd 2018, 18:34 GMT

     
  • 1,158 downloads
  • 541 KB
clasp

clasp 3.3.2

Answer set solver for normal and disjunctive logic programs, combining the modeling capacities of ...

Feb 23rd 2018, 18:34 GMT
Windows All
     
  • 1,332 downloads
  • 503 KB
CryptoMiniSat

CryptoMiniSat 2.9.0

A simple SAT solver.

Feb 5th 2011, 23:54 GMT
Windows All