metaSMT: Focus On Your Application Not On Solver Integration
metaSMT: Focus On Your Application Not On Solver Integration
metaSMT: Focus On Your Application Not On Solver Integration
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Planned Features<br />
◮ Multi-Threaded (arbitrary many) and Multi-Process<br />
◮ Python bindings<br />
◮ SMT 2 input Parser<br />
20