https://github.com/niklasso/minisat

A minimalistic and high-performance SAT solver
https://github.com/niklasso/minisat

Last synced: 5 days ago
JSON representation

A minimalistic and high-performance SAT solver

• Host: GitHub
• URL: https://github.com/niklasso/minisat
• Owner: niklasso
• License: other
• Created: 2009-09-06T19:02:00.000Z (over 15 years ago)
• Default Branch: master
• Last Pushed: 2024-04-28T23:57:29.000Z (8 months ago)
• Last Synced: 2024-11-20T21:56:20.268Z (22 days ago)
• Language: C++
• Homepage: minisat.se
• Size: 596 KB
• Stars: 1,030
• Watchers: 49
• Forks: 394
• Open Issues: 40
• Metadata Files:
  • Readme: README
  • License: LICENSE

Awesome Lists containing this project

• awesome-sat-solvers - code

README

        
================================================================================

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