Commits · manyglucose · Naps / naps

Browse files

Jun 14, 2022
- silly change · f9829216
  Masahiko Sakai authored Jun 14, 2022
  
  f9829216
- merge master to manyglucose · 5b23b8ac
  Masahiko Sakai authored Jun 14, 2022
  
  5b23b8ac
- unnecessary file deleted · 74d8328b
  Masahiko Sakai authored Jun 14, 2022
  
  74d8328b
- fixing spacing problem in c++11 · 9142264a
  Masahiko Sakai authored Jun 14, 2022
  
  9142264a
May 19, 2022
- Merge branch 'mem_manage' into 'master' · f1ab401e
  Masahiko Sakai authored May 19, 2022
  f1ab401e
May 18, 2022
- check after clausified on FEnv::nodes.size() · 3e40c089
  Masahiko Sakai authored May 18, 2022
  
  3e40c089
May 17, 2022
- statistics for regeneration of variables eliminated by simplification Solver · 67ebc483
  Masahiko Sakai authored May 17, 2022
  
  67ebc483
- Merge branch 'master' of git.trs.css.i.nagoya-u.ac.jp:Naps/naps · e8715a26
  Masahiko Sakai authored May 17, 2022
  
  e8715a26
- SatELite eliminated · 2b59980b
  Masahiko Sakai authored May 17, 2022
  
  2b59980b
- Merge branch 'out_mem' into 'master' · 4db581fb
  Masahiko Sakai authored May 17, 2022
  4db581fb
- ver 1.02b3 · 40be7643
  Masahiko Sakai authored May 17, 2022
  
  40be7643
May 16, 2022
- for issue #4 · e56a4f07
  Masahiko Sakai authored May 16, 2022
  
  e56a4f07
- detection on modification of mtl/XAlloc.h · 0327acfb
  Masahiko Sakai authored May 16, 2022
  
  0327acfb
- for issue #9 · 028d2395
  Masahiko Sakai authored May 16, 2022
  
  028d2395
May 13, 2022
- raise SIGUSR1 in glueminisat when OutOfMemory · b7311ed1
  Masahiko Sakai authored May 13, 2022
  
  b7311ed1
Sep 06, 2021
- Supress TERMINATED message when producing cnf · 5fb9b56f
  Masahiko Sakai authored Sep 06, 2021
  
  5fb9b56f
- binary delted · 6cc1af19
  Masahiko Sakai authored Sep 06, 2021
  
  6cc1af19
- Merge branch 'dev-reduced-cnf' into 'master' · a3a97b7b
  Masahiko Sakai authored Sep 06, 2021
  a3a97b7b
- reduced variable number of interesting ones by one, fixing a bug introduced in... · e2bc72e0
  Masahiko Sakai authored Sep 06, 2021
  e2bc72e0
Sep 05, 2021
- Fix miss counting of clauses in toDimacs · eb63314e
  Hidetomo Nabeshima authored Sep 05, 2021
  
  eb63314e
- removing unnecessary variables in exporting CNF · b7cbdd09
  Masahiko Sakai authored Sep 05, 2021
  
  b7cbdd09
Sep 04, 2021
- Add out_max to toDimacs to output the reduced cnf which does not contain... · 1decff83
  Hidetomo Nabeshima authored Sep 04, 2021
  1decff83
- bug fix: output the argument assumps of toDimacs as assumptions · 9bdbb6aa
  Hidetomo Nabeshima authored Sep 04, 2021
  
  9bdbb6aa
Aug 01, 2021
- output format for all models · db7a14f1
  Masahiko Sakai authored Aug 01, 2021
  
  db7a14f1
Jul 02, 2021
- noSimp cond & option -nm · 1d502d05
  Masahiko Sakai authored Jul 02, 2021
  
  1d502d05
- version.h 1.0.2b2 · 0b94d5cc
  Masahiko Sakai authored Jul 02, 2021
  
  0b94d5cc
Jun 30, 2021
- force noSimp for es1sat solver · c6fe72f3
  Masahiko Sakai authored Jun 30, 2021
  
  c6fe72f3
- Extend char for Ident · 51ac6248
  Masahiko Sakai authored Jun 30, 2021
  
  51ac6248
Mar 10, 2020
- Support deterministic incremental SAT solving · e29c1d32
  Hidetomo Nabeshima authored Mar 11, 2020
  
  e29c1d32
Jan 07, 2020
- Merge branch 'cnf' into 'master' · 7aaa54f4
  Hidetomo Nabeshima authored Jan 07, 2020
  7aaa54f4
Dec 25, 2019
- fix for issue #5 · 96ec1e39
  Masahiko Sakai authored Dec 25, 2019
  
  96ec1e39
Dec 02, 2019
- Merge branch 'manyglucose' of git.trs.css.i.nagoya-u.ac.jp:Naps/naps into manyglucose · 589102ab
  Masahiko Sakai authored Dec 02, 2019
  
  589102ab
- removal of zero valued term from goal · b259780d
  Masahiko Sakai authored Dec 02, 2019
  
  b259780d
- 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 and Masahiko Sakai committed Dec 02, 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