Tim 'mithro' Ansell 1b231b442c minisat: Make update script executable.

2017-11-25 19:48:26 -08:00

..

00_PATCH_mkLit_default_arg.patch

Removed Minisat dependency on zlib

2014-07-25 03:41:54 +02:00

00_PATCH_no_fpu_control.patch

Remove use of <fpu_control.h> in minisat

2017-03-27 14:32:43 +02:00

00_PATCH_remove_zlib.patch

minisat: Remove template with gzFile specialization.

2017-11-25 19:48:26 -08:00

00_PATCH_typofixes.patch

Add minisat 00_PATCH_typofixes.patch

2017-03-27 14:37:00 +02:00

00_UPDATE.sh

minisat: Make update script executable.

2017-11-25 19:48:26 -08:00

Alg.h

Updated minisat

2014-07-21 01:01:26 +02:00

Alloc.h

Updated minisat

2014-07-21 01:01:26 +02:00

Dimacs.h

minisat: Remove template with gzFile specialization.

2017-11-25 19:48:26 -08:00

Heap.h

Updated minisat

2014-07-21 01:01:26 +02:00

IntMap.h

Updated minisat

2014-07-21 01:01:26 +02:00

IntTypes.h

Added libs/minisat (copy of minisat git master)

2014-03-12 10:17:51 +01:00

LICENSE

Added libs/minisat (copy of minisat git master)

2014-03-12 10:17:51 +01:00

Map.h

Updated minisat

2014-07-21 01:01:26 +02:00

Options.cc

minisat: Only define __STDC_XXX_MACROS if not already defined.

2017-11-25 19:48:26 -08:00

Options.h

Updated minisat

2014-07-21 01:01:26 +02:00

ParseUtils.h

Removed Minisat dependency on zlib

2014-07-25 03:41:54 +02:00

Queue.h

Updated minisat

2014-07-21 01:01:26 +02:00

Rnd.h

Updated minisat

2014-07-21 01:01:26 +02:00

SimpSolver.cc

minisat: Only define __STDC_XXX_MACROS if not already defined.

2017-11-25 19:48:26 -08:00

SimpSolver.h

Updated minisat

2014-07-21 01:01:26 +02:00

Solver.cc

minisat: Only define __STDC_XXX_MACROS if not already defined.

2017-11-25 19:48:26 -08:00

Solver.h

Corrected spelling mistakes found by lintian

2014-09-06 08:47:06 +02:00

SolverTypes.h

Updated minisat

2014-07-21 01:01:26 +02:00

Sort.h

Updated minisat

2014-07-21 01:01:26 +02:00

System.cc

minisat: Only define __STDC_XXX_MACROS if not already defined.

2017-11-25 19:48:26 -08:00

System.h

Remove use of <fpu_control.h> in minisat

2017-03-27 14:32:43 +02:00

Vec.h

Updated minisat

2014-07-21 01:01:26 +02:00

XAlloc.h

Added libs/minisat (copy of minisat git master)

2014-03-12 10:17:51 +01:00