search

izgzhen / z3-encoding

High-level assertion encoding to Z3 solver
MIT License
5 stars 3 forks source link

Extensibility #16

Closed izgzhen closed 4 years ago

izgzhen commented 8 years ago
  1. ADT
  2. user-defined functions/assertions
izgzhen commented 8 years ago

Currently, I followed the old principle, which is unsafe. But i doubt if there is a perfectly safe solution at all.