Alternatives and similar repositories for jlibbig

Users that are interested in jlibbig are comparing it to the libraries listed below

• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆27Updated 5 months ago
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 3 years ago
• CognitiveComputingResearchGroup / lida-framework
  ☆10Updated 9 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆62Updated last month
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 3 months ago
• Mortimerp9 / Prolog-Graphplan
  The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…
  ☆38Updated 10 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated 3 months ago
• flix / book
  The Flix Programming Book
  ☆19Updated this week
• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆19Updated 4 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆63Updated 6 months ago
• domschrei / aquaplanning
  Aquaplanning QUick Automated Planning.
  ☆13Updated 4 years ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated last year
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆83Updated 2 months ago
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Updated 7 months ago
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated last year
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated last year
• msbrogli / sdm-framework
  A Sparse Distributed Memory Framework.
  ☆45Updated 6 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• stanford-ppl / argon
  Scala staging framework
  ☆16Updated 7 years ago
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆28Updated 8 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆28Updated 3 years ago
• DeMaCS-UNICAL / EmbASP
  A general framework for embedding Logic Programming in complex systems
  ☆30Updated last year
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 2 weeks ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆20Updated last month
• reactive-systems / bosy
  BoSy is a reactive synthesis tool based on constraint-solving
  ☆19Updated 2 years ago
• mm-adt / vm
  The mm-ADT Virtual Machine
  ☆34Updated 4 years ago
• enso-lang / enso
  ☆71Updated 5 years ago