Alternatives and similar repositories for facile

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

• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆74Updated last week
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆302Updated this week
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆182Updated this week
• MiniZinc / iminizinc
  IPython / Jupyter notebook magic
  ☆21Updated 7 years ago
• coin-or / GrUMPy
  A Python library for visualizing algorithms for solving mathematical optimization problems.
  ☆66Updated 4 years ago
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 5 months ago
• csplib / csplib
  A benchmark library for constraints
  ☆97Updated this week
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆24Updated last week
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 9 years ago
• toulbar2 / toulbar2
  Exact optimization for cost function networks and additive graphical models
  ☆61Updated this week
• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated 2 years ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆170Updated last year
• eomahony / Numberjack
  Python Combinatorial Optimisation Platform
  ☆160Updated 4 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆113Updated this week
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆63Updated last year
• unitn-sml / pyconstruct
  Python library for declarative, constrained, structured-output prediction.
  ☆21Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆23Updated last week
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• ffx-org / ffx
  Fast Function Extraction
  ☆85Updated 3 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆192Updated 2 months ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 5 months ago
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• rougier / dynamic-som
  Dynamic Self-Organized maps
  ☆22Updated 9 years ago
• cvxgrp / CVXcanon
  ☆42Updated 5 years ago
• fpom / snakes
  SNAKES is the Net Algebra Kit for Editors and Simulators
  ☆93Updated last year
• cvxgrp / ncvx
  ☆77Updated 3 years ago