AndreaCallia / deltaopt Public

Robust optimization tool based on dreal

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
MPS2OSIL		MPS2OSIL
benchmarks		benchmarks
dreal		dreal
literature		literature
optstack		optstack
related_work		related_work
README.md		README.md
binarize.py		binarize.py
certify.py		certify.py
deltaopt		deltaopt
log2stats.py		log2stats.py
manyopt		manyopt
optimize.py		optimize.py
osil2smt.py		osil2smt.py
osil2sympy.sh		osil2sympy.sh
smt2sympy.py		smt2sympy.py