GitHub / Robbepop / stevia

A simple (unfinished) SMT solver for QF_ABV.

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Robbepop%2Fstevia
PURL: pkg:github/Robbepop/stevia

Stars: 36
Forks: 5
Open issues: 11

License: other
Language: Rust
Size: 1.38 MB
Dependencies parsed at: Pending

Created at: about 8 years ago
Updated at: 6 months ago
Pushed at: over 6 years ago
Last synced at: 1 day ago

Topics: bitvector, decision-procedure, smt, smtlibv2, symbolic-execution

Loading...