Skip to content

Latest commit

 

History

History
13 lines (8 loc) · 439 Bytes

README.md

File metadata and controls

13 lines (8 loc) · 439 Bytes

BatSMT

build status

(work in progress)

This project provides core rust libraries, based on batsat, for building SMT solvers.

License

BSD-4-clauses, see file LICENSE.txt.