Commits · master · Naps / naps

Jul 01, 2024
- switch CaDiCaL for .wbo with soft: · 1f53a71d
  Masahiko Sakai authored Jul 01, 2024
  
  1f53a71d
May 30, 2024
- 2 stage goal optimization · a1a7685c
  Masahiko Sakai authored May 30, 2024
  
  a1a7685c
Jun 30, 2021
- Extend char for Ident · 51ac6248
  Masahiko Sakai authored Jun 30, 2021
  
  51ac6248
Jun 13, 2018
- 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