xoolive / facile

Related projects ⓘ

Alternatives and complementary repositories for facile

• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 2 years ago
• unitn-sml / pyconstruct
  Python library for declarative, constrained, structured-output prediction.
  ☆21Updated last year
• coin-or / GrUMPy
  A Python library for visualizing algorithms for solving mathematical optimization problems.
  ☆64Updated 3 years ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆61Updated last week
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆232Updated this week
• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated last year
• ed-lam / nutmeg
  Nutmeg – a MIP and CP branch-and-check solver
  ☆23Updated last year
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆13Updated 3 months ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 2 months ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated last year
• coin-or / Cmpl
  <Coliop|Coin> Mathematical Programming Language
  ☆11Updated 4 months ago
• yangeorget / nucs
  NuCS is Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains
  ☆21Updated this week
• ghackebeil / pybnb
  A parallel branch-and-bound engine for Python. (https://pybnb.readthedocs.io/)
  ☆68Updated 3 years ago
• osqp / qdldl-python
  Python interface to the QDLDL(https://github.com/osqp/qdldl) free LDL factorization routine for quasi-definite linear systems
  ☆12Updated 2 months ago
• phrsampaio / deft-funnel
  DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.
  ☆11Updated 3 years ago
• tkralphs / CuPPy
  A naive implementation of the Gomory cutting plane algorithm
  ☆14Updated 4 years ago
• Aluriak / PowerGrASP
  Compress graphs
  ☆12Updated 4 years ago
• Pyomo / pysp
  PySP: Stochastic Programming in Python
  ☆40Updated 3 years ago
• MiniZinc / iminizinc
  IPython / Jupyter notebook magic
  ☆21Updated 6 years ago
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 6 months ago
• joaopedroso / scipbook
  ☆67Updated 5 years ago
• xnd-project / libndtypes
  Subsumed into xnd
  ☆25Updated 5 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆92Updated this week
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• deepppl / deepppl
  Deep Probabilistic Programming Language
  ☆19Updated 4 months ago
• davidar / stochaskell
  ☆12Updated last year
• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated last year
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆150Updated last week
• coin-or / GiMPy
  A graph library containing pure Python implementations of a variety of graph algorithms
  ☆33Updated 3 years ago