Painless: a Framework for Parallel SAT Solving

• Souheib BAARIR (souheib.baarir@lip6.fr)
• Mazigh SAOUDI (mazigh.saoudi@epita.fr)

Content

• painless-src/: Contains the code of the framework.

  • clauses/: Contains the code to manage shared clauses.
  • working/: Code links to the worker organization.
  • sharing/: Code links to the learnt clause sharing management.
  • solvers/: Contains wrapper for the sequential solvers.
  • utils/: Contains code for clauses management. But also useful data structures.
  • preprocessors/: Contains the imported preprocessings of PRS and SBVA.

• solvers/:

  • mapleCOMSPS/: Contains the code of MapleCOMSPS from the SAT Competition 17 with some little changes.

  • kissat_mab/: Contains the code of kissat_mab.

  • yalsat/: Contains the code of yalsat.

  • GASPIKISSAT/: Contains the code of GaspiKissat.

To compile the project

• Must install an MPI implementation, painless was tested with OpenMpi.

• Requires Protobuf to be installed with its compiler and--('') shared library.

• In the main directory use 'make' to compile the code.

• In the main directory use 'make clean' to clean.