Commits · master · Naps / naps

Browse files

Apr 17, 2024
- version 1.02b6 · 1e17cc8f
  Hidetomo Nabeshima authored Apr 17, 2024
  
  1e17cc8f
- suppress log output by glueminisat with v=2 · c1ed3311
  Hidetomo Nabeshima authored Apr 17, 2024
  
  c1ed3311
Jul 05, 2022
- producing statistics information of glueminisat when verbose level 1 or higher · abd8e7b9
  Masahiko Sakai authored Jul 05, 2022
  
  abd8e7b9
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
May 13, 2022
- raise SIGUSR1 in glueminisat when OutOfMemory · b7311ed1
  Masahiko Sakai authored May 13, 2022
  
  b7311ed1
Sep 06, 2021
- binary delted · 6cc1af19
  Masahiko Sakai authored Sep 06, 2021
  
  6cc1af19
Sep 05, 2021
- Fix miss counting of clauses in toDimacs · eb63314e
  Hidetomo Nabeshima authored Sep 05, 2021
  
  eb63314e
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
Dec 25, 2019
- fix for issue #5 · 96ec1e39
  Masahiko Sakai authored Dec 25, 2019
  
  96ec1e39
Oct 15, 2018
- compiler error related c++11 · 7f592eee
  Masahiko Sakai authored Oct 15, 2018
  
  7f592eee
Jun 13, 2018
- on cnf generation · c892f86e
  Masahiko Sakai authored Jun 13, 2018
  
  c892f86e
- fixed several bugs · 907cc0f7
  Masahiko Sakai authored Jun 13, 2018
  
  907cc0f7
- 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