##########################################################
##### PaInleSS: A Framework for Parallel SAT Solvers #####
##########################################################

Author:  Ludovic LE FRIOUX
Contact: ludovic@lrde.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.

- mapleCOMSPS:
   Contains the code of MapleCOMSPS from the SAT Competition 16 with some little
   changes.


===== To compile the project =====

- In the painless-maplecomsps home directory use 'make' to compile.

- In the painless-maplecomsps home directory use 'make clean' to clean.


===== To run the solver =====

./painless-maplecomsps dimacs_filename
