package encoding
Smt encoding library
Install
Dune Dependency
Authors
Maintainers
Sources
v0.0.2.tar.gz
md5=b7d315f0c74985afe527ca48df777371
sha512=dbb083d238cbf9a7ab0f446d0753ad37d98e7b5c324f5c34b918ce38786f35a2d84260b96f0deb72e0d74b2481b929de469e0f826525e5f10f163896db36ad49
CHANGES.md.html
v0.0.2
Refactor optimizer interface
Fixes batch solver in
e061344
Adds default simplifier in z3 leading to great performance gains
Adds logic configuration option to
mk_solver
Fixes pp function in
11476fb
Adds
ematching
andtimeout
parametersImproves documentation
Relax ocaml compiler constraint to
>= 4.14.0
v0.0.1
Initial release
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>