Alternatives and similar repositories for PowerGrASP

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

• dtompkins / ubcsat
  The Stochastic Local Search SAT Solver from UBC
  ☆30Updated 3 years ago
• hklarner / pyboolnet
  PyBoolNet is a Python package for the generation, modification and analysis of Boolean networks.
  ☆50Updated 11 months ago
• toulbar2 / toulbar2
  Exact optimization for cost function networks and additive graphical models
  ☆61Updated 2 weeks ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated last year
• Aluriak / clyngor
  Handy python wrapper around Potassco's Clingo ASP solver.
  ☆34Updated 2 years ago
• JSybrandt / HypergraphEmbedding
  ☆12Updated 6 years ago
• Kappa-Dev / ReGraph
  Tool for building graph-based hierarchical knowledge representation systems
  ☆85Updated 2 years ago
• CASCI-lab / CANA
  CANAlization: Control & Redundancy in Boolean Networks
  ☆26Updated 2 weeks ago
• csplib / csplib
  A benchmark library for constraints
  ☆97Updated 2 months ago
• graphia-app / graphia
  A visualisation tool for the creation and analysis of graphs
  ☆255Updated 3 weeks ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆112Updated 2 months ago
• antmd / graph-tool
  graph-tool - Efficient network analysis
  ☆104Updated 2 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• IBPA / GNN
  Gene Neural Network (GNN)
  ☆11Updated 6 years ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆204Updated this week
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆74Updated this week
• opencobra / swiglpk
  Simple swig bindings for the GNU Linear Programming Kit
  ☆29Updated 2 weeks ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆302Updated this week
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆51Updated 11 months ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆127Updated this week
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated 2 weeks ago
• telmomenezes / synthetic
  Symbolic Generators for Complex Networks
  ☆46Updated 2 years ago
• martin-steinegger / setcover
  linear (time,space) greedy set cover implementation
  ☆31Updated 4 years ago
• Murali-group / halp
  Hypergraph Algorithms Package
  ☆98Updated 2 years ago
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆111Updated 2 months ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated 2 months ago
• go-air / reach
  symbolic reachability checker
  ☆23Updated 4 years ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆83Updated 2 years ago
• opencobra / optlang
  optlang - sympy based mathematical programming language
  ☆265Updated 9 months ago
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆14Updated 10 months ago