GitXplorerGitXplorer
d

minisat-os-x

public
5 stars
1 forks
0 issues

Commits

List of commits on branch master.
Unverified
7e4c96ab4813060842839f0dd3958b1f8e258b23

Modify for OS X

ddanielsuo committed 8 years ago
Unverified
37dc6c67e2af26379d88ce349eb9c4c6160e8543

Support returning actual peak-memory instead of reverting to current usage

nniklasso committed 11 years ago
Unverified
cd3a2d653fc073585ef05e2ebb72ab015d851279

Also relocate clauses on the subsumption queue.

nniklasso committed 12 years ago
Unverified
386e4f372688526aed987a26f38f18160d2d4fcb

Silence DIMACS warnings by default.

nniklasso committed 12 years ago
Unverified
080d3dbd798a116fb4159a3dbce3433b6229628c

Move the random-generator to a more generic location.

nniklasso committed 13 years ago
Unverified
149205a0023aa2172e468b8b053f4d6b43c40b76

Introduce a minimum limit for learned clauses.

nniklasso committed 13 years ago

README

The README file for this repository.

================================================================================ Quick Install

  • Decide where to install the files . The simplest approach is to use GNU standard locations and just set a "prefix" for the root install directory (reffered to as $PREFIX below). More control can be achieved by overriding other of the GNU standard install locations (includedir, bindir, etc). Configuring with just a prefix:

    make config prefix=$PREFIX

  • Compiling and installing:

    make install

================================================================================ Configuration

  • Multiple configuration steps can be joined into one call to "make config" by appending multiple variable assignments on the same line.

  • The configuration is stored in the file "config.mk". Look here if you want to know what the current configuration looks like.

  • To reset from defaults simply remove the "config.mk" file or call "make distclean".

  • Recompilation can be done without the configuration step.

    [ TODO: describe configartion possibilities for compile flags / modes ]

================================================================================ Building

[ TODO: describe seperate build modes ]

================================================================================ Install

[ TODO: ? ]

================================================================================ Directory Overview:

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

================================================================================ Examples:

Run minisat with same heuristics as version 2.0:

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