2585

Software titles : 1-6 of 6 found.

Page: 1

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