1 - clasp 3.3.3 clasp : Answer set solver for normal and disjunctive logic programs, combining the modeling capacities of ASP with techniques from the area of Boolean constraint solving License: MIT License OS: Windows Size: 541 KB KB
19/11/2023
2 - claspfolio 1.0.1 claspfolio : A portfolio solver for answer set programming. License: GNU Public License OS: Windows Size: 18.1 MB KB
8/11/2023
3 - clingo 4.2.1 clingo : Allows you to solve logic programs by acting as a solver and grounder. License: GNU Public License OS: Windows Size: 1.1 MB KB
8/11/2023
4 - Fritzing 0.9.3b Fritzing : An efficient and user-friendly application functioning as an electronic design automation tool, aimed at designers as well as engineers License: GNU Public License OS: Windows Size: 179.2 MB KB
4/11/2023
5 - Gringo 4.2.1 Gringo : A grounder for the answer set solvers. License: GNU Public License OS: Windows Size: 739 KB KB
20/11/2023
6 - iclingo 3.0.5 iclingo : An answer set programming tool. License: GNU Public License OS: Windows Size: 797 KB KB