Softpedia >Windows >  Applications filed under: PB Solver  (1 item)

Apps filed under: PB Solver

  RSS Feed for this tag 1 application 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