GitXplorerGitXplorer
d

minisat-os-x

public
5 stars
1 forks
0 issues

Commits

List of commits on branch master.
Unverified
30909ac2fcb3abc85faaa4b1fecd427a34115144

Add iterators to IntMap.

nniklasso committed 13 years ago
Unverified
1d2e1fc9d1549b56e19a6649c3dafaa1b8131633

Simple way to disable extending models.

nniklasso committed 13 years ago
Unverified
0c0bb0d4c6033ccdc5545e4a99b3b45c04244a3a

Add preliminary support for "releaseVar()" method.

nniklasso committed 13 years ago
Unverified
1e0fd32094888db881755df2a0ef3e1f40b3a0bb

Generalize remove/find to work on vector-like types with unsigned size.

nniklasso committed 13 years ago
Unverified
6820591ae0bdba3be170ca1f48d389ebb410bb1e

Revert to using copy constructor in Vec::push() rather than assignment.

nniklasso committed 13 years ago
Unverified
4d3aa55f8e8c82e14352d25c43dc675bad750158

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