Subtropical Satisfiability

Software OPEN SOURCE
Pascal Fontaine; Mizuhito Ogawa; Thomas Sturm; Vu Xuan Tung;
(2017)

<p>This upload consists of the source code of STROPSAT, a library for SubTROPical SATisfiability, and the experimental data of STROPSAT and Z3 on inequality constraints of SMT-LIB.  The paper of STROPSAT was accepted at FroCos 2017 and the paper is publicly accessible a... View more
Share - Bookmark