Commits · manyglucose · Naps / naps

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
17 Apr, 2019 1 commit
- add -pthread to LDFLAGS · c7e4382f
  Masahiko Sakai authored Apr 17, 2019
  
  c7e4382f
22 Feb, 2019 2 commits
- Modify the package name · eedf8345
  Hidetomo Nabeshima authored Feb 22, 2019
  
  eedf8345
- add config.mk and template.mk files · 08b5ab04
  Hidetomo Nabeshima authored Feb 22, 2019
  
  08b5ab04
21 Feb, 2019 4 commits
- Add sources of manyglucose · d3f19bba
  Hidetomo Nabeshima authored Feb 21, 2019
  
  d3f19bba
- Remove manyglucose from submodules · 552939eb
  Hidetomo Nabeshima authored Feb 21, 2019
  
  552939eb
- Integrates ManyGlucose as a backend SAT solver. · 5a4d8479
  Hidetomo Nabeshima authored Feb 21, 2019
  
  5a4d8479
- Restore the definition of l_True, l_False and l_Undef. · 0830f2a4
  Hidetomo Nabeshima authored Feb 21, 2019
  
  0830f2a4
20 Feb, 2019 4 commits
- Integrates ManyGlucose as a backend SAT solver. · a0c7bb84
  Hidetomo Nabeshima authored Feb 20, 2019
  
  a0c7bb84
- 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
- Insert a space between string literals for C++11 · 74b3c0dc
  Hidetomo Nabeshima authored Feb 20, 2019
  
  74b3c0dc
- Add IDE-related files to the ignore list · 8229d802
  Hidetomo Nabeshima authored Feb 20, 2019
  
  8229d802
18 Feb, 2019 3 commits
- Add rules to compile manyglucose. · 5d3bcb1b
  Hidetomo Nabeshima authored Feb 18, 2019
  
  5d3bcb1b
- 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 the submodule 'manyglucose' · d7e26a5d
  Hidetomo Nabeshima authored Feb 18, 2019
  
  d7e26a5d
16 Oct, 2018 1 commit
- Merge branch 'cpp11' into 'master' · 7d9365c7
  Masahiko Sakai authored Oct 16, 2018
```
compiler error related c++11

See merge request !2
```
  7d9365c7
15 Oct, 2018 4 commits
- compiler error related c++11 · 7f592eee
  Masahiko Sakai authored Oct 15, 2018
  
  7f592eee
- Merge branch 'working1' into 'master' · 6d9191a6
  Masahiko Sakai authored Oct 15, 2018
```
Main.C

See merge request !1
```
  6d9191a6
- Main.C · 425a6dad
  Masahiko Sakai authored Oct 15, 2018
  
  425a6dad
- added .mk to ignore list · da70b1a6
  Masahiko Sakai authored Oct 15, 2018
  
  da70b1a6
20 Jun, 2018 2 commits
- cnf production · 15eb340c
  Masahiko Sakai authored Jun 20, 2018
  
  15eb340c
- initial · a89667ad
  Masahiko Sakai authored Jun 20, 2018
  
  a89667ad
19 Jun, 2018 1 commit
- producing cnf · a6485c17
  Masahiko Sakai authored Jun 19, 2018
  
  a6485c17
13 Jun, 2018 6 commits
- on cnf generation · c892f86e
  Masahiko Sakai authored Jun 13, 2018
  
  c892f86e
- slight chenge on README · 7cbac981
  Masahiko Sakai authored Jun 13, 2018
  
  7cbac981
- fixed several bugs · 907cc0f7
  Masahiko Sakai authored Jun 13, 2018
  
  907cc0f7
- version1.02b · 5956838a
  Masahiko Sakai authored Jun 13, 2018
  
  5956838a
- version 1.01 (bugfixed version of 1.00 · b15c685e
  Masahiko Sakai authored Jun 13, 2018
  
  b15c685e
- version 1.00 · af9a253a
  Masahiko Sakai authored Jun 13, 2018
  
  af9a253a