Commits · master · Václav Haisman / sat4j · GitLab

May 23, 2024
- Fix listener call in addClause() · 4d59b2e0
  Daniel Le Berre authored May 23, 2024
  
  4d59b2e0
May 21, 2024
- Updated test case producing both icnf and idrup proof. · 3afec4a5
  Daniel Le Berre authored May 21, 2024
  
  3afec4a5
- Update composite with new methods from SearchListener interface. · 5d727788
  Daniel Le Berre authored May 21, 2024
  
  5d727788
- Created two listeners: one for icnf, and one for idrup. · 75968d7d
  Daniel Le Berre authored May 21, 2024
  
  75968d7d
May 20, 2024
- Fixing tests · 49b48181
  Daniel Le Berre authored May 20, 2024
  
  49b48181
- Fixing tests? · 95a8b18c
  Daniel Le Berre authored May 20, 2024
  
  95a8b18c
- Fix issue if assumptions are inconsistent · 8668359c
  Daniel Le Berre authored May 20, 2024
  
  8668359c
- More checks in icnf executor · 5dce4a48
  Daniel Le Berre authored May 20, 2024
  
  5dce4a48
- Created icnf executor · 7e04091e
  Daniel Le Berre authored May 20, 2024
  
  7e04091e
May 17, 2024
- Do not display model twice #176 · 48b0a742
  Daniel Le Berre authored May 17, 2024
  
  48b0a742
May 16, 2024
- Fix model display in idrup · cf0a55ea
  Daniel Le Berre authored May 16, 2024
  
  cf0a55ea
- First implementation of #176 · fa365191
  Daniel Le Berre authored May 16, 2024
  
  fa365191
Apr 29, 2024
- Disable too long ApproxMC?Test tests · b86f1b37
  Daniel Le Berre authored Apr 29, 2024
  
  b86f1b37
- Fixes compilation problem (methods missed from refactoring) · bad43538
  Daniel Le Berre authored Apr 29, 2024
  
  bad43538
- Potential fix for #175 · 878a76f3
  Daniel Le Berre authored Apr 29, 2024
  
  878a76f3
- New test files from Iris · 85e42224
  Daniel Le Berre authored Apr 29, 2024
  
  85e42224
Mar 19, 2024
- Update test for #175 · ac2343ad
  Daniel Le Berre authored Mar 19, 2024
  
  ac2343ad
Mar 13, 2024
- Fix Statistics solver · 4d2b3974
  Daniel Le Berre authored Mar 13, 2024
  
  4d2b3974
Mar 07, 2024
- Added option -Dsilentmode to avoid too much information during model enumeration · 47dd16c3
  Daniel Le Berre authored Mar 07, 2024
  
  47dd16c3
Mar 04, 2024
- Added back nightly build jars using a custom docker image · 5f9d3eac
  Daniel Le Berre authored Mar 04, 2024
  
  5f9d3eac
- Avoid an exception when blocking latest model raises an exception · 984568d2
  Daniel Le Berre authored Mar 04, 2024
  
  984568d2
- Allow projected model enumeration using external enumeration · 46660b81
  Daniel Le Berre authored Mar 04, 2024
  
  46660b81
- display none when there is no SearchListener hooked to the solver · c5536c2f
  Daniel Le Berre authored Mar 04, 2024
  
  c5536c2f
Mar 01, 2024
- Fix compilation issue · 56049d08
  Daniel Le Berre authored Mar 01, 2024
  
  56049d08
- Correct fix for #175 · b3b695a6
  Daniel Le Berre authored Mar 01, 2024
  
  b3b695a6
- Better caching of previous model found in OptToPBSATAdapter. · 66e34550
  Daniel Le Berre authored Mar 01, 2024
  
  66e34550
- Fix for #175 · 8fc30e8f
  Daniel Le Berre authored Mar 01, 2024
  
  8fc30e8f
Feb 29, 2024
- ✏️ add a test with the external iterator. · da2ea3bc
  Daniel Le Berre authored Feb 29, 2024
  
  da2ea3bc
- 🧪 test case for bug #175 · 3ba5b56d
  Daniel Le Berre authored Feb 29, 2024
  
  3ba5b56d
Feb 22, 2024
- Fix NPE while stopping model iteration on the command line. · fcbddf3a
  Daniel Le Berre authored Feb 22, 2024
  
  fcbddf3a
Feb 21, 2024
- Fix optimal iterator when computing all solutions (there was an issue · 73646156
  Daniel Le Berre authored Feb 21, 2024
  
  for the last model found).
  73646156
Feb 20, 2024
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · a3a281a9
  Daniel Le Berre authored Feb 20, 2024
  
  a3a281a9
- ✏️ launching an IllegalStateException if prevmodel is null · 153cf928
  Daniel Le Berre authored Feb 20, 2024
  
  153cf928
Sep 25, 2023
- Merge branch 'set-sast-config-3' into 'master' · 8f4326e3
  Daniel Le Berre authored Sep 25, 2023
  
  Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist See merge request sat4j/sat4j!12
  8f4326e3
- Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist · 90c88384
  Daniel Le Berre authored Sep 25, 2023
  
  90c88384
Sep 13, 2023
- Adapts a test wrt the use of PB constraint in all PB solvers. · b385c14b
  Romain Wallon authored Sep 13, 2023
  
  b385c14b
- Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j · b50cb938
  Romain Wallon authored Sep 13, 2023
  
  b50cb938
- Uses PB clauses in resolution based solver · 7e6b6a94
  Romain Wallon authored Sep 13, 2023
  
  7e6b6a94
Aug 31, 2023
- Remote default empty methods. · 0f3ccf2c
  Daniel Le Berre authored Aug 31, 2023
  
  0f3ccf2c
- Support for blocking clause logging · d0893302
  Daniel Le Berre authored Aug 31, 2023
  
  d0893302