quantor3.0

Submitter: Armin Biere
Description: picosat 752 backend
Results: