rndmcnlly / ansunitLinks
Declarative unit testing for Answer Set Programming projects
☆12Updated 7 years ago
Alternatives and similar repositories for ansunit
Users that are interested in ansunit are comparing it to the libraries listed below
Sorting:
- A "git trac" subcommand for git☆13Updated 3 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- ☆22Updated 11 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- 🕰️ A solver for temporal programs.☆22Updated last year
- VATA Tree Automata Library☆33Updated last year
- ⛓️ Extension of clingo to handle constraints over integers☆29Updated 2 weeks ago
- Handy python wrapper around Potassco's Clingo ASP solver.☆34Updated 2 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated 11 months ago
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆59Updated 2 months ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated this week
- System for eXtended Hybrid Abductive Inductive Learning☆26Updated 4 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆128Updated last week
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated last year
- Downloading and displaying academic ancestry☆16Updated 10 years ago
- An OpenMath 2.0 implementation in Python☆17Updated 5 years ago
- Semantic flow graphs for data science☆29Updated 3 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 2 weeks ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 11 months ago
- language independent software composition and merging☆32Updated 8 years ago
- cysignals: interrupt and signal handling for Cython. Source repository for https://pypi.org/project/cysignals/☆44Updated 2 weeks ago
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 4 years ago
- Logic Programming in Python☆31Updated 4 years ago
- Export NetworkX graphs to TikZ directly☆31Updated 5 months ago
- Simple swig bindings for the GNU Linear Programming Kit☆29Updated this week
- Explains the conclusions of a logic program.☆10Updated 2 years ago
- Dynamic Self-Organized maps☆22Updated 9 years ago
- Convert graphs generated by Graphviz to LaTeX friendly formats☆158Updated 2 months ago
- Julia Implementation of Unums☆42Updated 8 years ago
- ☆103Updated last year