Alternatives and similar repositories for facile

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

• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆321Updated this week
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆78Updated last week
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆25Updated 2 months ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆199Updated 2 weeks ago
• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated 2 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆98Updated 2 months ago
• eomahony / Numberjack
  Python Combinatorial Optimisation Platform
  ☆162Updated 4 years ago
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 9 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆118Updated last week
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆170Updated last year
• unitn-sml / pyconstruct
  Python library for declarative, constrained, structured-output prediction.
  ☆21Updated 2 years ago
• ed-lam / nutmeg
  Nutmeg – a MIP and CP branch-and-check solver
  ☆31Updated 2 years ago
• mgraffg / EvoDAG
  Evolving Directed Acyclic Graph
  ☆29Updated 2 years ago
• or-tools / awesome_or-tools
  A curated list of awesome OR-Tools community resources.
  ☆186Updated last year
• yangeorget / nucs
  NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains
  ☆54Updated 2 weeks ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆442Updated last week
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• Ambrosys / glyph
  a python 3 library based on deap providing abstraction layers for symbolic regression problems.
  ☆94Updated 4 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆191Updated 4 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆52Updated 2 weeks ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• ehebrard / Mistral-2.0
  ☆32Updated last year
• crillab / pyxai
  PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…
  ☆39Updated 7 months ago
• taschini / pyinterval
  PyInterval — Interval arithmetic in Python
  ☆89Updated 8 years ago
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆500Updated 3 weeks ago
• MiniZinc / iminizinc
  IPython / Jupyter notebook magic
  ☆21Updated 7 years ago
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated 2 years ago
• IOHprofiler / IOHanalyzer
  Performance analyzer for Iterative Optimization Heuristics.
  ☆23Updated 3 months ago
• ffx-org / ffx
  Fast Function Extraction
  ☆86Updated 5 months ago