search

YosysHQ / oss-cad-suite-build

Multi-platform nightly builds of open source digital design and verification tools
ISC License
808 stars 72 forks source link

Add STP #90

Open gussmith23 opened 9 months ago

gussmith23 commented 9 months ago

Hi all --

How feasible would it be to add STP (Simple Theorem Prover) to oss-cad-suite? STP is an SMT solver.

https://github.com/stp/stp

Their build instructions work pretty smoothly on Ubuntu. I'm trying to figure out how to build on Mac at the moment.