master to manyglucose · Naps / naps

Commits on Source 56

add the submodule 'manyglucose' · d7e26a5d
Hidetomo Nabeshima authored Feb 18, 2019

d7e26a5d
modified the definition of l_True, l_False, l_Undef from macros to constants... · 553e705d
Hidetomo Nabeshima authored Feb 18, 2019
```
modified the definition of l_True, l_False, l_Undef from macros to constants for integration of manyglucose.
```
553e705d
Add rules to compile manyglucose. · 5d3bcb1b
Hidetomo Nabeshima authored Feb 18, 2019

5d3bcb1b
Add IDE-related files to the ignore list · 8229d802
Hidetomo Nabeshima authored Feb 20, 2019

8229d802
Insert a space between string literals for C++11 · 74b3c0dc
Hidetomo Nabeshima authored Feb 20, 2019

74b3c0dc
modified the definition of l_True, l_False, l_Undef from macros to constants... · 7bb02104
Hidetomo Nabeshima authored Feb 20, 2019
```
modified the definition of l_True, l_False, l_Undef from macros to constants for integration of manyglucose.
```
7bb02104
Integrates ManyGlucose as a backend SAT solver. · a0c7bb84
Hidetomo Nabeshima authored Feb 20, 2019

a0c7bb84
Restore the definition of l_True, l_False and l_Undef. · 0830f2a4
Hidetomo Nabeshima authored Feb 22, 2019

0830f2a4
Integrates ManyGlucose as a backend SAT solver. · 5a4d8479
Hidetomo Nabeshima authored Feb 22, 2019

5a4d8479
Remove manyglucose from submodules · 552939eb
Hidetomo Nabeshima authored Feb 22, 2019

552939eb
Add sources of manyglucose · d3f19bba
Hidetomo Nabeshima authored Feb 22, 2019

d3f19bba
add config.mk and template.mk files · 08b5ab04
Hidetomo Nabeshima authored Feb 22, 2019

08b5ab04
Modify the package name · eedf8345
Hidetomo Nabeshima authored Feb 22, 2019

eedf8345
add -pthread to LDFLAGS · c7e4382f
Masahiko Sakai authored Apr 17, 2019

c7e4382f
order of object files in Makefile · 6bdb610f
Masahiko Sakai authored Apr 18, 2019

6bdb610f
garbage char in Makefile · 5387aed0
Masahiko Sakai authored Apr 18, 2019

5387aed0
garbage in Makefile · f6218855
Masahiko Sakai authored Apr 18, 2019

f6218855
manyglucose is updated to 4.1-27 · a704d7de
Hidetomo Nabeshima authored May 29, 2019

a704d7de
Merge branch 'manyglucose' of http://git.trs.css.i.nagoya-u.ac.jp/Naps/naps into manyglucose · b6932792
Hidetomo Nabeshima authored May 29, 2019

b6932792
Definition of l_True in glueminisat is recovered to macro · f53cf971
Hidetomo Nabeshima authored May 29, 2019

f53cf971
Order of objects in manyglucose (trial) · 9b82dd1a
Masahiko Sakai authored May 29, 2019

9b82dd1a
Merge branch 'manyglucose' of git.trs.css.i.nagoya-u.ac.jp:Naps/naps into manyglucose · 519c24ca
Masahiko Sakai authored May 29, 2019

519c24ca
trigger file to compile manyglucose added to Makefile · 88e44f68
Masahiko Sakai authored Jun 01, 2019

88e44f68
Makefile: pass CXX in making subdirectories · e7897349
Masahiko Sakai authored Jun 01, 2019

e7897349
getrusage may returns marxrss=0 in FreeBSD · a6953ab3
Masahiko Sakai authored Aug 31, 2019

a6953ab3
Merge branch 'debug-rx' into manyglucose · b19abc40
Masahiko Sakai authored Nov 25, 2019
```
This is a patch on zero-coefficients in goal function.
```
b19abc40
removal of garbage info output introduced commit 9a6a789c . · ba98e76e
Masahiko Sakai authored Nov 25, 2019

ba98e76e
add the submodule 'manyglucose' · 9d09cd3a
Hidetomo Nabeshima authored Feb 18, 2019 and Masahiko Sakai committed Dec 02, 2019

9d09cd3a
modified the definition of l_True, l_False, l_Undef from macros to constants... · 2154e1b2
Hidetomo Nabeshima authored Feb 18, 2019 and Masahiko Sakai committed Dec 02, 2019
```
modified the definition of l_True, l_False, l_Undef from macros to constants for integration of manyglucose.
```
2154e1b2
Add rules to compile manyglucose. · 0190a4c2
Hidetomo Nabeshima authored Feb 18, 2019 and Masahiko Sakai committed Dec 02, 2019

0190a4c2
Add IDE-related files to the ignore list · 6ad12707
Hidetomo Nabeshima authored Feb 20, 2019 and Masahiko Sakai committed Dec 02, 2019

6ad12707
Insert a space between string literals for C++11 · fd5618ee
Hidetomo Nabeshima authored Feb 20, 2019 and Masahiko Sakai committed Dec 02, 2019

fd5618ee
modified the definition of l_True, l_False, l_Undef from macros to constants... · 2b22e7ca
Hidetomo Nabeshima authored Feb 20, 2019 and Masahiko Sakai committed Dec 02, 2019
```
modified the definition of l_True, l_False, l_Undef from macros to constants for integration of manyglucose.
```
2b22e7ca
Integrates ManyGlucose as a backend SAT solver. · 045ae5b0
Hidetomo Nabeshima authored Feb 20, 2019 and Masahiko Sakai committed Dec 02, 2019

045ae5b0
Restore the definition of l_True, l_False and l_Undef. · 3fceaf93
Hidetomo Nabeshima authored Feb 22, 2019 and Masahiko Sakai committed Dec 02, 2019

3fceaf93
Integrates ManyGlucose as a backend SAT solver. · 02168cc2
Hidetomo Nabeshima authored Feb 22, 2019 and Masahiko Sakai committed Dec 02, 2019

02168cc2
Remove manyglucose from submodules · 55704a13
Hidetomo Nabeshima authored Feb 22, 2019 and Masahiko Sakai committed Dec 02, 2019

55704a13
Add sources of manyglucose · fb265dfb
Hidetomo Nabeshima authored Feb 22, 2019 and Masahiko Sakai committed Dec 02, 2019

fb265dfb
add config.mk and template.mk files · 7e522b54
Hidetomo Nabeshima authored Feb 22, 2019 and Masahiko Sakai committed Dec 02, 2019

7e522b54
Modify the package name · a0713c34
Hidetomo Nabeshima authored Feb 22, 2019 and Masahiko Sakai committed Dec 02, 2019

a0713c34
manyglucose is updated to 4.1-27 · 9af114b6
Hidetomo Nabeshima authored May 29, 2019 and Masahiko Sakai committed Dec 02, 2019

9af114b6
add -pthread to LDFLAGS · 23fc0b74
Masahiko Sakai authored Apr 17, 2019

23fc0b74
order of object files in Makefile · ef722fcc
Masahiko Sakai authored Apr 18, 2019

ef722fcc
garbage char in Makefile · 99aecc68
Masahiko Sakai authored Apr 18, 2019

99aecc68
garbage in Makefile · b7008e99
Masahiko Sakai authored Apr 18, 2019

b7008e99
Order of objects in manyglucose (trial) · a6987797
Masahiko Sakai authored May 29, 2019

a6987797
Definition of l_True in glueminisat is recovered to macro · 4d8f2e65
Hidetomo Nabeshima authored May 29, 2019 and Masahiko Sakai committed Dec 02, 2019

4d8f2e65
trigger file to compile manyglucose added to Makefile · d8174690
Masahiko Sakai authored Jun 01, 2019

d8174690
Makefile: pass CXX in making subdirectories · d00d2af6
Masahiko Sakai authored Jun 01, 2019

d00d2af6
getrusage may returns marxrss=0 in FreeBSD · edf0441f
Masahiko Sakai authored Aug 31, 2019

edf0441f
Merge branch 'manyglucose' of git.trs.css.i.nagoya-u.ac.jp:Naps/naps into manyglucose · 589102ab
Masahiko Sakai authored Dec 02, 2019

589102ab
Support deterministic incremental SAT solving · e29c1d32
Hidetomo Nabeshima authored Mar 11, 2020

e29c1d32
fixing spacing problem in c++11 · 9142264a
Masahiko Sakai authored Jun 14, 2022

9142264a
unnecessary file deleted · 74d8328b
Masahiko Sakai authored Jun 14, 2022

74d8328b
merge master to manyglucose · 5b23b8ac
Masahiko Sakai authored Jun 14, 2022

5b23b8ac
silly change · f9829216
Masahiko Sakai authored Jun 14, 2022

f9829216