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
• unitn-sml / pyconstruct
  Python library for declarative, constrained, structured-output prediction.
  ☆21Updated 2 years ago
• toulbar2 / toulbar2
  Exact optimization for cost function networks and additive graphical models
  ☆61Updated this week
• coin-or / GrUMPy
  A Python library for visualizing algorithms for solving mathematical optimization problems.
  ☆67Updated 4 years ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆308Updated this week
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆24Updated 3 weeks ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆170Updated last year
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆75Updated 2 weeks ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆116Updated this week
• csplib / csplib
  A benchmark library for constraints
  ☆98Updated 3 weeks ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 9 years ago
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆64Updated last year
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 6 months ago
• eomahony / Numberjack
  Python Combinatorial Optimisation Platform
  ☆162Updated 4 years ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 4 months ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆188Updated 3 weeks ago
• cvxgrp / qcml
  A Python parser for generating Python/C/Matlab solver interfaces
  ☆43Updated 8 years ago
• MiniZinc / iminizinc
  IPython / Jupyter notebook magic
  ☆21Updated 7 years ago
• PythonCharmers / maxentropy
  Maximum entropy and minimum divergence models in Python
  ☆44Updated last year
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆193Updated 2 months ago
• ed-lam / nutmeg
  Nutmeg – a MIP and CP branch-and-check solver
  ☆30Updated 2 years ago
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 6 months ago
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆24Updated 11 months ago
• coin-or / GiMPy
  A graph library containing pure Python implementations of a variety of graph algorithms
  ☆34Updated 6 months ago
• gvanderheide / discreteMarkovChain
  Calculate the steady state distribution of a discrete Markov chain in Python.
  ☆46Updated 7 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆23Updated 3 weeks ago