• Home
• tools.aqua
• cvc5-turnkey
• 1.2.0
• source code
• README.minisat

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

cvc5-cvc5-1.2.0.src.prop.README.minisat Maven / Gradle / Ivy

This is MiniSAT 2.2.0, downloaded from here:

  http://minisat.se/MiniSat.html

on 11 July 2010.

The code has been modified to put everything in the cvc5::internal::MiniSat
namespace.  The build process has been modified.  Other parts have
been modified to serve cvc5's purposes.

-- Morgan Deters   Sun, 07 Nov 2010 22:27:09 -0500