Commits · master · Naps / naps · GitLab

Apr 26, 2025
- Fixed compiling problem due to name collision in CaDiCal · fd1b2ad8
  Masahiko Sakai authored Apr 26, 2025
  
  fd1b2ad8
- upgraded cadical 2.1.3 · 6c4df4eb
  Masahiko Sakai authored Apr 26, 2025
  
  6c4df4eb
Apr 25, 2025
- preparing upgrade cadical · 9b7cc419
  Masahiko Sakai authored Apr 26, 2025
  
  9b7cc419
- Merge branch 'master' into upgrading-solver · 598c5b88
  Masahiko Sakai authored Apr 25, 2025
  
  598c5b88
- bug fix -nssas acts opposite · ad990419
  Masahiko Sakai authored Apr 25, 2025
  
  ad990419
- kissat upgrade 3.1.1 -> 4.0.2 · 4cbad26d
  Masahiko Sakai authored Apr 25, 2025
  
  4cbad26d
Feb 27, 2025
- added include <cstdint>, for uint8_t · 3b4619ce
  Masahiko Sakai authored Feb 27, 2025
  
  3b4619ce
Jul 30, 2024
- Fixed the problem that sometimes returns SAT on WBO when recieved a signal · 125435e0
  Masahiko Sakai authored Jul 30, 2024
  
  View commits for tag v1.03a2 v1.03a2
  
  125435e0
Jul 26, 2024
- Merge branch 'wbo' · 5ed770a6
  Masahiko Sakai authored Jul 26, 2024
  
  5ed770a6
- Fixed on WBO soft: problem · d9161bf2
  Masahiko Sakai authored Jul 26, 2024
  
  d9161bf2
Jul 22, 2024
- Fixed compiling problem on FreeBSD · 76dcabf9
  Masahiko Sakai authored Jul 22, 2024
  
  76dcabf9
Jul 04, 2024
- submit version PB24: -ssas -css -gccs by default · b5f919ff
  Masahiko Sakai authored Jul 04, 2024
  
  b5f919ff
- Merge branch 'refine-goal-constraint4' · 43fb67c7
  Masahiko Sakai authored Jul 04, 2024
  43fb67c7
Jul 03, 2024
- version 1.02c40i · 0e843a53
  Masahiko Sakai authored Jul 03, 2024
  
  0e843a53
- Merge branch 'refine-goal-constraint4' of... · b7842e1f
  Hidetomo Nabeshima authored Jul 03, 2024
  View commits for tag v1.02c40h v1.02c40h
  
  b7842e1f
- fixed uninitialized variable in cadical · 6bee5667
  Hidetomo Nabeshima authored Jul 03, 2024
  
  6bee5667
Jul 02, 2024
- fixed compile problem for no-gimp · 5c81ae59
  Masahiko Sakai authored Jul 02, 2024
  
  5c81ae59
Jul 01, 2024
- 1.02c40h: support sort-max-acost to abondon trying sorters in mixed mode. · 2c726133
  Hidetomo Nabeshima authored Jul 01, 2024
  
  2c726133
- 1.02c40g: if BDD construction for non-goal constraints fails, then the... · 74bbf350
  Hidetomo Nabeshima authored Jul 01, 2024
  74bbf350
- Merge branch 'refine-goal-constraint4' of... · c42d27cf
  Hidetomo Nabeshima authored Jul 01, 2024
  c42d27cf
- 1.02c40f: bin-coeff supports real numbers · 7d01f9cb
  Hidetomo Nabeshima authored Jul 01, 2024
  
  7d01f9cb
- Merge remote-tracking branch 'refs/remotes/origin/refine-goal-constraint4'... · c797d2da
  Masahiko Sakai authored Jul 01, 2024
  c797d2da
- switch CaDiCaL for .wbo with soft: · 1f53a71d
  Masahiko Sakai authored Jul 01, 2024
  
  1f53a71d
Jun 26, 2024
- naps-1.02c40e: -gccs (sorting net for goal with cardinarity constraint) · e1125ce1
  Masahiko Sakai authored Jun 26, 2024
  
  e1125ce1
Jun 25, 2024
- 1.02c40d: -ssas -sat-after-stage option, which invoke sat solver after each stage. · c49f0666
  Masahiko Sakai authored Jun 25, 2024
  
  c49f0666
Jun 24, 2024
- add naps-opt script that outputs resource limit before solving · 3e00e8bc
  Hidetomo Nabeshima authored Jun 25, 2024
  
  3e00e8bc
- add naps-opt script that outputs resource limit before solving · ae12f9fa
  Hidetomo Nabeshima authored Jun 25, 2024
  
  ae12f9fa
- verbose messages and refactoring · 7c3d6659
  Masahiko Sakai authored Jun 24, 2024
  
  7c3d6659
- refactroing · 4493c06f
  Masahiko Sakai authored Jun 24, 2024
  
  4493c06f
- Fixed a bug sending _1_ to Clausify() · e1123f3c
  Masahiko Sakai authored Jun 24, 2024
  
  e1123f3c
Jun 20, 2024
- 1.02c40a: statistics for sorting network for cardinarity constraints · 28c5ebfe
  Masahiko Sakai authored Jun 20, 2024
  
  28c5ebfe
Jun 19, 2024
- naps-1.02c40: added statistics: · de952c2f
  Masahiko Sakai authored Jun 19, 2024
  de952c2f
Jun 18, 2024
- Corrected to use variable 'eliminated' in function 'normalizePb' · eee0de05
  Masahiko Sakai authored Jun 18, 2024
  
  eee0de05
- Removed unnecessary debug message · 1efb6e8a
  Masahiko Sakai authored Jun 18, 2024
  
  1efb6e8a
- tuning of cutting off line in divideGoal function · 39cae91e
  Masahiko Sakai authored Jun 18, 2024
  
  39cae91e
- Improved reducing number of primes in calc optbase · 56f3f094
  Masahiko Sakai authored Jun 18, 2024
  
  56f3f094
- Fixed a bug on Mixed strategy for normal PB-constraints: · 5dde6e6b
  Masahiko Sakai authored Jun 18, 2024
  5dde6e6b
- Fixed default parameters (caused by mistake) · 02e99584
  Masahiko Sakai authored Jun 18, 2024
  02e99584
- 1.02c37 · cccbb5d4
  Masahiko Sakai authored Jun 18, 2024
  
  cccbb5d4
- Fixed a bug not resetting base_sort when converting a normal · 8a11dd0b
  Masahiko Sakai authored Jun 18, 2024
  8a11dd0b