CCC

Concurrent Cube-and-Conquer

This page provides access to software and additional material for our paper submission on concurrent cube-and-conquer.

It is currently only intended for reviewers. Otherwise you are not allowed to use the software and material provided here.

• Lingeling version used in the paper (includes iLingeling): lingeling-limami2-aa61f7a-110831.tar.gz (also in ccc.zip)
• iLingeling patch for printin correct result
• Incremental version of MiniSAT by Siert Wieringa: iMiniSAT
• CCC sources: ccc.zip
• Script used to run CCC: ccc-script.sh (also in ccc.zip)
• results in ASCII table: allresults.txt
• results in ASCII table: allresults_pling.txt (now with Plingeling)