Alternatives and similar repositories for pyxai:

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

• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆63Updated last week
• xcsp3team / ACE
  Constraint Solver ACE
  ☆29Updated this week
• crillab / metrics
  mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
  ☆11Updated 2 months ago
• xcsp3team / cosoco
  COmpact SOlver for COnstrained problems
  ☆12Updated last week
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆12Updated last week
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 3 years ago
• alexeyignatiev / xreason
  XReason - formal reasoning about explanations for ML models
  ☆16Updated last year
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆55Updated this week
• ilaspltd / ILASP-releases
  ☆36Updated 3 months ago
• ML-KULeuven / deepstochlog
  ☆27Updated last year
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆154Updated 3 weeks ago
• randriu / synthesis
  ☆22Updated this week
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated last month
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆18Updated 3 months ago
• airbus / discrete-optimization
  Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.
  ☆44Updated last week
• xcsp3team / XCSP3-Java-Tools
  XCSP3 Tools in Java
  ☆22Updated 2 weeks ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• QuMuLab / dsharp
  ☆16Updated 2 years ago
• alexeyignatiev / minds
  SAT-based miner of smallest size decision sets
  ☆12Updated 4 years ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated 7 months ago
• alexforel / Explainable-CSO
  Code for "Explainable Data-Driven Optimization" (ICML 2023)
  ☆15Updated last year
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• VeriFIT / mata
  A fast and simple automata library
  ☆24Updated last week
• toulbar2 / toulbar2
  Exact optimization for cost function networks and additive graphical models
  ☆53Updated this week
• chuffed / chuffed
  The Chuffed CP solver
  ☆100Updated 2 months ago
• MiniZinc / minizinc-benchmarks
  A suite of MiniZinc benchmarks.
  ☆84Updated 4 years ago
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 9 months ago
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆55Updated 3 years ago