Chair of Computer Architecture

Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses

Gimsatul

The solver is available on GitHub.

Logs

The log files are also available. We used runlim to produce the log and err files.