Add SMT backend using Yices API

margnus1 / swsc

This tool has now merged with nidhugg/nidhugg and will no longer be developed here

GNU General Public License v3.0

0 stars 1 forks source link

Open margnus1 opened 6 years ago