uuverifiers / optirica Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

An Optimizing Solver for Constrained Horn Clauses

BSD-3-Clause license

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
lib		lib
src		src
LICENSE		LICENSE
README.md		README.md
build.sbt		build.sbt

Repository files navigation

OptiRica

An Optimizing Solver for Constrained Horn Clauses

About

An Optimizing Solver for Constrained Horn Clauses

BSD-3-Clause license

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages

Scala 100.0%