PRS is a simple, efficient, and generic parallel SAT framework. Specifically, PRS is a parallel portfolio framework that supports pre-processing, clause sharing, and many other popular parallel techniques.
- PRS-thread32-sc24 (for parallel track)
- PRS-thread64-sc24 (for parallel track)
- PRS-distributed-sc24 (for cloud track)
Please check the subdirectories with same name.