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
  ☆24Updated 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
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated last year
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆17Updated 2 years ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated last year
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆58Updated 4 months ago
• aig-upf / 2017-planning-with-simulators
  Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"
  ☆10Updated 7 years ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆32Updated 9 months ago
• mm-adt / vm
  The mm-ADT Virtual Machine
  ☆34Updated 4 years ago
• domschrei / aquaplanning
  Aquaplanning QUick Automated Planning.
  ☆13Updated 4 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆68Updated last month
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆45Updated 5 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• CategoricalData / hydra
  Graph programming language
  ☆80Updated this week
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated last week
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆137Updated this week
• rewriting / tom
  ☆34Updated 4 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated last month
• julianmendez / jcel
  Reasoner for the description logic EL+.
  ☆14Updated last week
• logicmoo / pfc
  Pfc: adding forward chaining and truth maintenance to Prolog
  ☆11Updated 2 years ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆21Updated 3 months ago
• SigmaX / LightBDD
  A simple Binary Decision Diagram library in Java
  ☆15Updated 6 years ago
• jonas-lj / Ruffini
  Library for computations over abstract algebraic structures such as finite fields and polynomial rings.
  ☆7Updated 4 months ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 2 months ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆10Updated last month
• rm-hull / wam
  Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
  ☆27Updated 6 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• enso-lang / enso
  ☆71Updated 4 years ago