/pdsat

Parallel and Distributed SAT solver
  1. C++ 44.8%
  2. Assembly 32.8%
  3. C 21.7%
  4. Makefile 0.7%
Switch branches/tags
Nothing to show
Find file
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

@Nauchnik
Nauchnik Back to default core variables
Latest commit b1183af Jun 14, 2018
Permalink
Failed to load latest commit information.
VS_latin_conseq Code cleanup Mar 13, 2016
VS_minisat * VS for minisat Jan 15, 2016
VS_mpi VS 2017 Feb 3, 2018
iiti_2017 + unit test for the interval estimation mode Dec 25, 2017
include_win_common 5 Nov 8, 2013
src_common + strtoint() and similar functions May 25, 2018
src_conseq Code cleanup Mar 22, 2016
src_mpi Back to default core variables Jun 14, 2018
src_solver Code cleanup Mar 17, 2016
.gitattributes First commit Nov 8, 2013
.gitignore * Jun 13, 2017
README.md Update README.md Feb 13, 2018

README.md

pdsat

Parallel and Distributed SAT solver (PDSAT) - an MPI-based divide-and-conquer SAT solver based on the Monte Carlo method and local search heuristics.