Name		Name	Last commit message	Last commit date
docs		docs
lpi		lpi
test		test
.gitignore		.gitignore
.project		.project
.pydevproject		.pydevproject
.travis.yml		.travis.yml
CHANGES.txt		CHANGES.txt
LICENSE.txt		LICENSE.txt
README.md		README.md
install.sh		install.sh
setup.py		setup.py
version.txt		version.txt

Repository files navigation

pyLPi

Python: Linear Programing Interface (ppl,z3)

About

Python: Linear Programming Interface (ppl,z3)

linear-programming linear-programming-solver ppl python-library smt z3

GPL-3.0 license

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages