potassco / telingoLinks
๐ฐ๏ธ A solver for temporal programs.
โ22Updated last year
Alternatives and similar repositories for telingo
Users that are interested in telingo are comparing it to the libraries listed below
Sorting:
- ๐ธ๏ธ A visualizer for graphs defined as logic programsโ30Updated 8 months ago
- Handy python wrapper around Potassco's Clingo ASP solver.โ34Updated 2 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) frameworkโ13Updated last week
- ๐ฆฎ An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.โ79Updated last year
- Python interface for SWI-Prologโ49Updated 2 months ago
- ๐ง Clingo Interactive UIโ26Updated this week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiabilityโ64Updated 11 months ago
- ๐๏ธ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasonerโ57Updated 11 months ago
- โ22Updated 7 months ago
- Pedagogical first-order prover in Pythonโ76Updated 2 weeks ago
- C. Hocquette and A. Cropper, Learning programs with magic values.โ18Updated 2 years ago
- Theory propagator for linear programming using clingo theory language and interface.โ11Updated 3 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesisโ23Updated 4 years ago
- โ10Updated 8 months ago
- Port of Aleph to SWI-Prologโ48Updated last year
- Declarative unit testing for Answer Set Programming projectsโ12Updated 7 years ago
- ๐ Qualitative and quantitative optimization in answer set programmingโ20Updated last year
- โ16Updated 4 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semanticsโ47Updated this week
- ๐ A system for probabilistic reasoning in clingoโ18Updated last year
- Specify and synthesize systems using symbolic algorithmsโ50Updated 7 months ago
- Metamath verifier in Pythonโ39Updated 2 weeks ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLVโ23Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).โ34Updated 2 years ago
- Example of clingo usage on website as a client-side JS programโ13Updated 5 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programsโ76Updated last month
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties ofโฆโ19Updated 10 months ago
- MiniZinc documentationโ16Updated 2 years ago
- โ๏ธ A conflict-driven nogood learning answer set solverโ124Updated this week
- Manipulate NNF (Negation Normal Form) logical sentencesโ17Updated 2 years ago