Commits · manyglucose · Naps / naps · GitLab

02 Dec, 2019 24 commits
- Merge branch 'manyglucose' of git.trs.css.i.nagoya-u.ac.jp:Naps/naps into manyglucose · 589102ab
  Masahiko Sakai authored Dec 02, 2019
  
  589102ab
- getrusage may returns marxrss=0 in FreeBSD · edf0441f
  Masahiko Sakai authored Aug 31, 2019
  
  edf0441f
- Makefile: pass CXX in making subdirectories · d00d2af6
  Masahiko Sakai authored Jun 01, 2019
  
  d00d2af6
- trigger file to compile manyglucose added to Makefile · d8174690
  Masahiko Sakai authored Jun 01, 2019
  
  d8174690
- Definition of l_True in glueminisat is recovered to macro · 4d8f2e65
  Hidetomo Nabeshima authored May 29, 2019
  
  4d8f2e65
- Order of objects in manyglucose (trial) · a6987797
  Masahiko Sakai authored May 29, 2019
  
  a6987797
- garbage in Makefile · b7008e99
  Masahiko Sakai authored Apr 18, 2019
  
  b7008e99
- garbage char in Makefile · 99aecc68
  Masahiko Sakai authored Apr 18, 2019
  
  99aecc68
- order of object files in Makefile · ef722fcc
  Masahiko Sakai authored Apr 18, 2019
  
  ef722fcc
- add -pthread to LDFLAGS · 23fc0b74
  Masahiko Sakai authored Apr 17, 2019
  
  23fc0b74
- manyglucose is updated to 4.1-27 · 9af114b6
  Hidetomo Nabeshima authored May 29, 2019
  
  9af114b6
- Modify the package name · a0713c34
  Hidetomo Nabeshima authored Feb 22, 2019
  
  a0713c34
- add config.mk and template.mk files · 7e522b54
  Hidetomo Nabeshima authored Feb 22, 2019
  
  7e522b54
- Add sources of manyglucose · fb265dfb
  Hidetomo Nabeshima authored Feb 21, 2019
  
  fb265dfb
- Remove manyglucose from submodules · 55704a13
  Hidetomo Nabeshima authored Feb 21, 2019
  
  55704a13
- Integrates ManyGlucose as a backend SAT solver. · 02168cc2
  Hidetomo Nabeshima authored Feb 21, 2019
  
  02168cc2
- Restore the definition of l_True, l_False and l_Undef. · 3fceaf93
  Hidetomo Nabeshima authored Feb 21, 2019
  
  3fceaf93
- Integrates ManyGlucose as a backend SAT solver. · 045ae5b0
  Hidetomo Nabeshima authored Feb 20, 2019
  
  045ae5b0
- modified the definition of l_True, l_False, l_Undef from macros to constants... · 2b22e7ca
  Hidetomo Nabeshima authored Feb 20, 2019
```
modified the definition of l_True, l_False, l_Undef from macros to constants for integration of manyglucose.
```
  2b22e7ca
- Insert a space between string literals for C++11 · fd5618ee
  Hidetomo Nabeshima authored Feb 20, 2019
  
  fd5618ee
- Add IDE-related files to the ignore list · 6ad12707
  Hidetomo Nabeshima authored Feb 20, 2019
  
  6ad12707
- Add rules to compile manyglucose. · 0190a4c2
  Hidetomo Nabeshima authored Feb 18, 2019
  
  0190a4c2
- modified the definition of l_True, l_False, l_Undef from macros to constants... · 2154e1b2
  Hidetomo Nabeshima authored Feb 18, 2019
```
modified the definition of l_True, l_False, l_Undef from macros to constants for integration of manyglucose.
```
  2154e1b2
- add the submodule 'manyglucose' · 9d09cd3a
  Hidetomo Nabeshima authored Feb 18, 2019
  
  9d09cd3a
27 Nov, 2019 1 commit
- README · d7e17b14
  Masahiko Sakai authored Nov 27, 2019
  
  d7e17b14
25 Nov, 2019 4 commits
- removal of garbage info output introduced commit 9a6a789c . · ba98e76e
  Masahiko Sakai authored Nov 25, 2019
  
  ba98e76e
- removal of garbage info output introduced commit 9a6a789c . · a3746a55
  Masahiko Sakai authored Nov 25, 2019
  
  a3746a55
- Merge branch 'debug-rx' into manyglucose · b19abc40
  Masahiko Sakai authored Nov 25, 2019
```
This is a patch on zero-coefficients in goal function.
```
  b19abc40
- Bug fixed for Zero coefficient in goal · 9a6a789c
  Masahiko Sakai authored Nov 25, 2019
  
  9a6a789c
31 Aug, 2019 1 commit
- getrusage may returns marxrss=0 in FreeBSD · a6953ab3
  Masahiko Sakai authored Aug 31, 2019
  
  a6953ab3
01 Jun, 2019 2 commits
- Makefile: pass CXX in making subdirectories · e7897349
  Masahiko Sakai authored Jun 01, 2019
  
  e7897349
- trigger file to compile manyglucose added to Makefile · 88e44f68
  Masahiko Sakai authored Jun 01, 2019
  
  88e44f68
29 May, 2019 5 commits
- Merge branch 'manyglucose' of git.trs.css.i.nagoya-u.ac.jp:Naps/naps into manyglucose · 519c24ca
  Masahiko Sakai authored May 29, 2019
  
  519c24ca
- Order of objects in manyglucose (trial) · 9b82dd1a
  Masahiko Sakai authored May 29, 2019
  
  9b82dd1a
- Definition of l_True in glueminisat is recovered to macro · f53cf971
  Hidetomo Nabeshima authored May 29, 2019
  
  f53cf971
- 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
- manyglucose is updated to 4.1-27 · a704d7de
  Hidetomo Nabeshima authored May 29, 2019
  
  a704d7de
18 Apr, 2019 3 commits
- garbage in Makefile · f6218855
  Masahiko Sakai authored Apr 18, 2019
  
  f6218855
- garbage char in Makefile · 5387aed0
  Masahiko Sakai authored Apr 18, 2019
  
  5387aed0
- order of object files in Makefile · 6bdb610f
  Masahiko Sakai authored Apr 18, 2019
  
  6bdb610f