Commits · master · Naps / naps

Browse files

Oct 14, 2025
- Merge branch 'macos' into 'master' · 59b8d3d6
  Masahiko Sakai authored Oct 14, 2025
  59b8d3d6
- pyscipopt on FreeBSD · bf9ba71d
  Masahiko Sakai authored Oct 14, 2025
  
  bf9ba71d
Oct 10, 2025
- Merge branch 'macos' of git.trs.css.i.nagoya-u.ac.jp:Naps/naps into macos · 1c48f830
  Masahiko Sakai authored Oct 10, 2025
  
  1c48f830
- README description on converson to CNF · 7fdb9c4d
  Masahiko Sakai authored Oct 10, 2025
  
  7fdb9c4d
Oct 08, 2025
- INSTALL.md for macos · 63c6318b
  Masahiko Sakai authored Oct 08, 2025
  
  63c6318b
- fixed link problem for macos · 6a5ca6a1
  Masahiko Sakai authored Oct 08, 2025
  
  6a5ca6a1
- Installation for macos · 9fe7db43
  Masahiko Sakai authored Oct 08, 2025
  
  9fe7db43
- improved the vehaviour when 'make -j n' · 41ae109c
  Masahiko Sakai authored Oct 08, 2025
  
  41ae109c
- Makefile: g++-15 for macos, and clean method for cadical and kissat · bd08ebfb
  Masahiko Sakai authored Oct 08, 2025
  
  bd08ebfb
Oct 07, 2025
- imporved solution for make r problem · ead79594
  Masahiko Sakai authored Oct 07, 2025
  
  ead79594
- fixed a problem that invoke make rs in sat-solver subdirectory, when make r. · b65526e0
  Masahiko Sakai authored Oct 07, 2025
  
  b65526e0
Oct 02, 2025
- Makefile for apple silicon · 94969c22
  Masahiko Sakai authored Oct 02, 2025
  
  94969c22
- for compile on Apple Silicon Mac · ea968b9c
  Masahiko Sakai authored Oct 02, 2025
  
  ea968b9c
Sep 16, 2025
- more on preparing merge · af8952c5
  Masahiko Sakai authored Sep 16, 2025
  
  af8952c5
- preparing merge · fa8bcc24
  Masahiko Sakai authored Sep 16, 2025
  
  fa8bcc24
Aug 19, 2025
- scip-naps version 1.00a2 · e7d0d6ac
  Masahiko Sakai authored Aug 19, 2025
  
  e7d0d6ac
May 30, 2025
- fixed bugs in scip-naps.py · d5878403
  Masahiko Sakai authored May 30, 2025
  
  d5878403
May 20, 2025
- Merge remote-tracking branch 'refs/remotes/origin/scip-naps' into scip-naps · 7ad08400
  Masahiko Sakai authored May 20, 2025
  
  7ad08400
- fixed the bug that exits with optimized for -gb · 6a1df240
  Masahiko Sakai authored May 20, 2025
  
  6a1df240
May 14, 2025
- Bug fix: scip-naps script · 5504cad1
  Hidetomo Nabeshima authored May 14, 2025
  
  5504cad1
- Bug fix: scip-naps script · 3705c8f0
  Hidetomo Nabeshima authored May 14, 2025
  
  3705c8f0
- Installation for scip-naps · a88e43ba
  Masahiko Sakai authored May 14, 2025
  
  a88e43ba
- .pb -> .opb in Examples/ · c318c995
  Masahiko Sakai authored May 14, 2025
  
  c318c995
May 13, 2025
- Add scip-naps script · 5b0d9304
  Hidetomo Nabeshima authored May 14, 2025
  
  5b0d9304
- Add scip-naps script · 9c1abe01
  Hidetomo Nabeshima authored May 14, 2025
  
  9c1abe01
- space removed and fix indentation in some files · 3dded489
  Masahiko Sakai authored May 13, 2025
  
  3dded489
- version 1.03a5 · c9c76c09
  Masahiko Sakai authored May 13, 2025
  
  c9c76c09
- fixed the bug that sometimes returns UNSAT when -goal-lb and -goal-ub are given · 91c6f8ea
  Masahiko Sakai authored May 13, 2025
  
  91c6f8ea
May 09, 2025
- implemented -goal-lb and -goal-ub · 40dd84a2
  Masahiko Sakai authored May 09, 2025
  
  40dd84a2
May 07, 2025
- rename opt_initial_goal into opt_goal_ub · f908394c
  Masahiko Sakai authored May 07, 2025
  
  f908394c
- improved the message when found a worse solution than initial goal value · 4183de9d
  Masahiko Sakai authored May 07, 2025
  
  4183de9d
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