Name		Name	Last commit message	Last commit date
Latest commit History 125 Commits
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)

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

GPL-3.0 license

Report repository

Releases

No releases published

Packages

No packages published

Languages