-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathREADME
76 lines (50 loc) · 1.98 KB
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
##########################################################
##### PaKis #####
##########################################################
Authors: Rodrigue Konan Tchinda, Clémentin Tayou Djamegni
University of Dschang, Cameroon
===== To compile the project =====
- In the PaKis home directory use 'make' to compile.
- In the PaKis home directory use 'make clean' to clean.
===== To run the solvers =====
- PaKis :
./PaKis dimacs_filename
==== Configuration submitted to the parallel Track of the 2021 SAT Competition
./PaKis -c=24 -max-memory=256 dimacs_filename
##########################################################
##### PaInleSS: A Framework for Parallel SAT Solving #####
##########################################################
Authors: Ludovic LE FRIOUX, Hakan METIN
Contacts: [email protected], [email protected]
===== 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 17 with some little
changes.
- cosy:
Contains the code of dynamic symmetry breaking library called Cosy.
- third_party/automorphism/bliss:
Contains code of bliss automorphism tool.
- include:
Contains header files of the library.
- src:
Contains implementation of the library.
===== To compile the project =====
- In the painless-mcomsps home directory use 'make' to compile.
- In the painless-mcomsps home directory use 'make clean' to clean.
===== To run the solvers =====
- painless-mcomsps :
./painless-mcomsps dimacs_filename
- painless-mcomsps-sym :
./painless-mcomsps -symmetry dimacs_filename