57 Open source projects that are alternatives of or similar to minizinc-python

A Python wrapper for the MiniZinc tool pipeline.

Convex optimization for java and scala, built on Apache Commons Math

COIN-OR branch and cut (CBC) bindings for R

ANTARES Visualizations

A simple SAT solver that implements the DPLL algorithm with unit resolution

A Python linear programming interface library

Entropy-controlled contexts in Python

Experimental minisat SAT solver reimplementation in Rust

C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.

Conjure: The Automated Constraint Modelling Tool

simplex problem calculator

A (parametrized) Rust SAT solver originally based on MiniSat

Simple timetabling engine for schools

A scala library for IBM ILOG CPLEX

🌎 I created this repository for educational purposes. It will host a number of projects as part of the process .

An integrated visual environment for metabolic modeling with common methods such as FBA, FVA and Elementary Flux Modes, and advanced features such as thermodynamic methods, extended Minimal Cut Sets, OptKnock, RobustKnock, OptCouple and more!

A modular sat/smt solver with proof output.

A Python Library for modeling combinatorial constrained problems

An easy-to-use Simplex solver class for linear programming.

Linear algebra, eigenvalues, FFT, Bessel, elliptic, orthogonal polys, geometry, NURBS, numerical quadrature, 3D transfinite interpolation, random numbers, Mersenne twister, probability distributions, optimisation, differential equations.

Linear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and let's you solve them with various solvers.

Lp modeler written in Rust

A JavaScript library to allocate and optimize financial portfolios.

Video Stabilization with the L1 optimal camera paths technique.

An efficient implementation of the Double Description Method

A Solver for the Wavelength Assignment Problem (RWA) in WDM networks

Linear programming solvers in Python with a unified API

Seidel's LP Algorithm: Linear-Complexity Linear Programming for Small-Dimensional Variables

Slides and notebooks for my tutorial at PyData London 2018

Optimise FPL squads

Mixed Integer Linear and Quadratic Programming in R

Code for the Modeling and Solving Linear Programming with R book

A pure Rust linear programming solver

emhass: Energy Management for Home Assistant, is a Python module designed to optimize your home energy interfacing with Home Assistant.

Lattice-based integer linear programming solver

《线性代数及其应用》笔记

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

ConstraintSolver in Julia: Blog posts ->

An Open Source .Net Constraint Programming Solver

Constraint Logic Programming over Integers

Constraint Type provider is a Type provider that provides constraints over F# Types.

General meta-Heuristic Optimization Solving Toolkit

Codac is a library for constraint programming over reals, trajectories and sets.

Derivative-Free Optimization Method for Global Optimization (C++)

Python constraint programming library

A Julia package to manage Constraint-Based Local Search (CBLS) solvers.

Monadic Constraint Programming framework

Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.

A Free World Class High Performance SAT Solver

A SAT solver written in Haskell.

A Header-Only CDCL SAT Solver for Programming Contest

Haskell bindings for PicoSAT solver

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

GAPT: General Architecture for Proof Theory

A fast SAT solver

Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc

A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin, M. Walter