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

×

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.minisat.README Maven / Gradle / Ivy

================================================================================
DIRECTORY OVERVIEW:

mtl/            Mini Template Library
utils/          Generic helper code (I/O, Parsing, CPU-time, etc)
core/           A core version of the solver
simp/           An extended solver with simplification capabilities
README
LICENSE

================================================================================
BUILDING: (release version: without assertions, statically linked, etc)

export MROOT=              (or setenv in cshell)
cd { core | simp }
gmake rs
cp minisat_static /minisat

================================================================================
EXAMPLES:

Run minisat with same heuristics as version 2.0:

> minisat  -no-luby -rinc=1.5 -phase-saving=0 -rnd-freq=0.02