cuplv / cuanto

Apache License 2.0

1 stars 1 forks source link

Dead: Symbolic abstraction #46

Open octalsrc opened 7 years ago

octalsrc commented 7 years ago

It is complete in the sense that it correctly implements tests covering all its expected behavior, but it needs cleaning and documentation before it goes into the codebase.

octalsrc commented 7 years ago

Highlights

Symbolic abstraction tests
scala-smtlib usage documentation (as more tests)

octalsrc commented 7 years ago

I am breaking this apart into cleanly rebased pieces, starting with https://github.com/cuplv/cuanto/pull/51.