GitXplorerGitXplorer
d

minisat-os-x

public
5 stars
1 forks
0 issues

Commits

List of commits on branch master.
Unverified
1732cffbd41ec46ac3677c14c8a4aeff0909ab73

Introduce literal sets (LSet) and use it to store 'conflict'.

nniklasso committed 13 years ago
Unverified
f7cd4c6233c5bd52977532174c9e62d7a82bc94d

New specialized 'addClause' for 4-clauses.

nniklasso committed 13 years ago
Unverified
146346b875a3073e84e9c40142c2e1fe0cc0391f

Fix more parentheses warnings.

nniklasso committed 13 years ago
Unverified
d699be0e76bb70e7a50d77ac643af840a2de0898

Patch submitted by Niklas Een.

nniklasso committed 13 years ago
Unverified
369fc3f167bb14da7bb1cc327f05e35c2003ef25

Fix an ancient bug in 'SimpSolver::implied()'.

nniklasso committed 13 years ago
Unverified
a1f981af96203cb8fdf11189b849d4a2149bef68

Revert "Extend a couple of parsing functions to treat newline as significant."

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