Support basic constraint inference interface

izgzhen / z3-encoding

High-level assertion encoding to Z3 solver

MIT License

5 stars 3 forks source link

Closed izgzhen closed 8 years ago

izgzhen commented 8 years ago

don't know if "inference" or "extraction" which would be better ...

izgzhen commented 8 years ago

Well....