Alternatives and similar repositories for PowerGrASP

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

• Aluriak / clyngor
  Handy python wrapper around Potassco's Clingo ASP solver.
  ☆36Updated 2 weeks ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆214Updated 2 weeks ago
• Lecrapouille / TimedPetriNetEditor
  [Application][Version 0.4.0][Functional] A timed Petri net and graph event editor and simulator combined to (max,+) algebra with wrapped …
  ☆19Updated last year
• toulbar2 / toulbar2
  Exact optimization for cost function networks and additive graphical models
  ☆62Updated 2 weeks ago
• dtompkins / ubcsat
  The Stochastic Local Search SAT Solver from UBC
  ☆32Updated 3 years ago
• petablox / difflog
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Updated 6 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆78Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆52Updated 2 weeks ago
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆112Updated 4 months ago
• csplib / csplib
  A benchmark library for constraints
  ☆98Updated 2 months ago
• graphia-app / graphia
  A visualisation tool for the creation and analysis of graphs
  ☆259Updated this week
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆442Updated last week
• Kappa-Dev / ReGraph
  Tool for building graph-based hierarchical knowledge representation systems
  ☆87Updated 2 years ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated last year
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆78Updated this week
• sbmlteam / moccasin
  MOCCASIN translates basic ODE-based MATLAB models of biological processes into SBML format.
  ☆12Updated last year
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated 2 years ago
• joschout / tilde
  Top-down induction of first-order logical decision trees: master AI thesis implementation
  ☆26Updated 5 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• IBM / nl2flow
  NL2Flow: A PDDL Interface to Flow Construction
  ☆12Updated 3 weeks ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆158Updated last week
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated this week
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• probsys / hierarchical-irm
  Probabilistic structure discovery for rich relational systems
  ☆14Updated last year
• timlrx / graph-benchmarks
  ☆83Updated 2 years ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆37Updated last week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆180Updated last month
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 11 months ago
• idaks / PW-explorer
  ☆16Updated 4 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆47Updated 5 years ago