Softpedia >Windows >  Applications filed under: variable grounder  (2 items)

Apps filed under: variable grounder

  RSS Feed for this tag 2 applications totalLast updated: Jan 14th 2014, 20:46 GMT

     
  • 1,012 downloads
  • 1.12 MB
clingo

clingo 4.2.1

Allows you to solve logic programs by acting as a solver and grounder.

Jan 14th 2014, 20:46 GMT
Windows All
     
  • 737 downloads
  • 739 KB
Gringo

Gringo 4.2.1

A grounder for the answer set solvers.

Nov 20th 2013, 06:59 GMT
Windows All