Lingeling SAT Solver
Switch branches/tags
Nothing to show
Clone or download
Permalink
Failed to load latest commit information.
COPYING imported first MIT release (almost SAT Competition 2018) version May 17, 2018
README imported first MIT release (almost SAT Competition 2018) version May 17, 2018
VERSION imported first MIT release (almost SAT Competition 2018) version May 17, 2018
blimc.c imported first MIT release (almost SAT Competition 2018) version May 17, 2018
configure.sh imported first MIT release (almost SAT Competition 2018) version May 17, 2018
ilingeling.c imported first MIT release (almost SAT Competition 2018) version May 17, 2018
lglbnr.c imported first MIT release (almost SAT Competition 2018) version May 17, 2018
lglconst.h imported first MIT release (almost SAT Competition 2018) version May 17, 2018
lglddtrace.c imported first MIT release (almost SAT Competition 2018) version May 17, 2018
lgldimacs.c imported first MIT release (almost SAT Competition 2018) version May 17, 2018
lgldimacs.h imported first MIT release (almost SAT Competition 2018) version May 17, 2018
lglib.c imported first MIT release (almost SAT Competition 2018) version May 17, 2018
lglib.h imported first MIT release (almost SAT Competition 2018) version May 17, 2018
lglmain.c imported first MIT release (almost SAT Competition 2018) version May 17, 2018
lglmbt.c imported first MIT release (almost SAT Competition 2018) version May 17, 2018
lgloptl.h imported first MIT release (almost SAT Competition 2018) version May 17, 2018
lglopts.c imported first MIT release (almost SAT Competition 2018) version May 17, 2018
lglopts.h imported first MIT release (almost SAT Competition 2018) version May 17, 2018
lgluntrace.c imported first MIT release (almost SAT Competition 2018) version May 17, 2018
makefile.in imported first MIT release (almost SAT Competition 2018) version May 17, 2018
mkconfig.sh imported first MIT release (almost SAT Competition 2018) version May 17, 2018
plingeling.c imported first MIT release (almost SAT Competition 2018) version May 17, 2018
treengeling.c imported first MIT release (almost SAT Competition 2018) version May 17, 2018

README

These are the sources of the SAT solver Lingeling.
The file VERSION contains the current version number.

To build everything issue

  ./configure.sh && make
  
This will build the library 'liblgl.o', the sequential solver 'lingeling',
its parallel version 'plingeling', and the cube & conquer solvers
'treengeling' and 'ilingeling'.

If you have a compiled copy of the AIGER library in '../aiger/', which
can be obtained from 'http://fmv.jku.at/aiger' then the bounded
model checker 'blimc' will also be build.

If you need proof support add and compile the 'druplig' library in
'../druplig/' from 'http://fmv.jku.at/druplig'.

If you want to add local search (particularly useful for 'treengeling') add
and compile 'yalsat' in '../yalsat/' from 'http://fmv.jku.at/yalsat'.

Copyright, authors and license are described in COPYING.

With release 'bcj', which in essence is the version submitted
to the SAT Competition 2018, we moved to an MIT style license.

A more recent version of Lingeling might be found at

  http://fmv.jku.at/lingeling

and this site might also contain more documentation.

Thu May 17 11:45:27 CEST 2018