paolodragone / pymzn

Related projects ⓘ

Alternatives and complementary repositories for pymzn

• MiniZinc / iminizinc
  IPython / Jupyter notebook magic
  ☆21Updated 6 years ago
• eomahony / Numberjack
  Python Combinatorial Optimisation Platform
  ☆157Updated 3 years ago
• unitn-sml / pyconstruct
  Python library for declarative, constrained, structured-output prediction.
  ☆21Updated last year
• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated last year
• xoolive / facile
  Python constraint programming library
  ☆23Updated 2 months ago
• csplib / csplib
  A benchmark library for constraints
  ☆85Updated last month
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 8 years ago
• mrocklin / unification
  ☆72Updated 3 years ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆150Updated this week
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆144Updated this week
• MiniZinc / minizinc-benchmarks
  A suite of MiniZinc benchmarks.
  ☆82Updated 4 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• srlearn / srlearn
  ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.
  ☆31Updated 2 years ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆61Updated this week
• ampl / amplpy
  Python API for AMPL
  ☆67Updated last week
• hackl / network2tikz
  A converter that takes a network (cnet, igraph, networkx, pathpy, ...) and creates a tikz-network for smooth integration into LaTeX.
  ☆52Updated 3 years ago
• interpretable-ml / iml
  Interpretable ML package designed to explain any machine learning model.
  ☆61Updated 6 years ago
• xflows / rdm
  Relational data mining in python
  ☆31Updated 2 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆92Updated this week
• optimizers / nlpy
  A Python package for optimization
  ☆59Updated 9 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 3 years ago
• coin-or / GrUMPy
  A Python library for visualizing algorithms for solving mathematical optimization problems.
  ☆64Updated 3 years ago
• mgraffg / EvoDAG
  Evolving Directed Acyclic Graph
  ☆31Updated last year
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆61Updated 8 months ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆232Updated this week
• coin-or / CyLP
  A Python interface to CLP, CBC, and CGL to solve LPs and MIPs.
  ☆182Updated 3 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 5 years ago
• gvanderheide / discreteMarkovChain
  Calculate the steady state distribution of a discrete Markov chain in Python.
  ☆45Updated 6 years ago
• simoninireland / simplicial
  Simplicial topology in Python
  ☆33Updated 8 months ago