Alternatives and similar repositories for jlibbig

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

• 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 4 years ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated last month
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆30Updated 9 months ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated 2 years ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 7 months ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 2 months ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆26Updated 2 months ago
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Updated 11 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 11 years ago
• flix / book
  The Flix Programming Book
  ☆21Updated this week
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆22Updated 2 months ago
• SigmaX / LightBDD
  A simple Binary Decision Diagram library in Java
  ☆15Updated 7 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆67Updated 5 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• petablox / difflog
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Updated 6 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• domschrei / aquaplanning
  Aquaplanning QUick Automated Planning.
  ☆13Updated 5 years ago
• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆19Updated 4 years ago
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆24Updated 3 years ago
• QuMuLab / dsharp
  ☆20Updated last week
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆36Updated last year
• mcalejo / interprolog
  Java <-> XSB Prolog bridge library
  ☆12Updated 5 years ago
• patham9 / NACE
  Non-Axiomatic Causal Explorer
  ☆19Updated 8 months ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆32Updated 4 years ago
• hbeck / ticker
  A rule-based stream reasoning engine utilizing sliding windows
  ☆10Updated 3 years ago
• maxeeem / NARS-Swift
  Swift implementation of Pei Wang's Non-Axiomatic Logic
  ☆13Updated 6 months ago
• DeMaCS-UNICAL / EmbASP
  A general framework for embedding Logic Programming in complex systems
  ☆30Updated last year