orSAT
| Submitter: | Roussell | ||
| Description: | Devised by Olivier Roussel, it is a search-based solver written in C++, featuring an algorithm based on relaxations to SAT, plus special purpose techniques to deal with universal quantifiers. | ||
| Results: | |||
| Submitter: | Roussell | ||
| Description: | Devised by Olivier Roussel, it is a search-based solver written in C++, featuring an algorithm based on relaxations to SAT, plus special purpose techniques to deal with universal quantifiers. | ||
| Results: | |||