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:
- ☆22Updated 9 months ago
- Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs☆8Updated 7 years ago
- 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
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆81Updated 2 years ago
- ⛓️ Extension of clingo to handle constraints over integers☆27Updated 2 weeks ago
- Handy python wrapper around Potassco's Clingo ASP solver.☆34Updated 2 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 8 months ago
- 🕰️ A solver for temporal programs.☆22Updated last year
- Semantic flow graphs for data science☆29Updated 2 years ago
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆57Updated last week
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated last week
- A rule engine based on Attempto Controlled English☆18Updated 9 months ago
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated last year
- VATA Tree Automata Library☆32Updated 11 months ago
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 4 years ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 9 months ago
- Formal Language Tools for Robots☆14Updated 9 years ago
- 🐧 Clingo Interactive UI☆26Updated 2 weeks ago
- An OpenMath 2.0 implementation in Python☆17Updated 5 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated 9 months ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 4 years ago
- ☆68Updated 7 years ago
- cysignals: interrupt and signal handling for Cython. Source repository for https://pypi.org/project/cysignals/☆43Updated 2 weeks ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆38Updated last year
- graph and drawing algorithms framework☆249Updated 11 months ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- Jupyter Kernel for Xonsh☆22Updated 9 years ago
- Domain Specific Languages in Python☆97Updated last year