Commits · master · SAT4J / sat4j

Jun 18, 2024
- Fix for #179 · 6e8225eb
  Daniel Le Berre authored 9 months ago
  
  6e8225eb
- Fix for #180 · 4a0b25ea
  Daniel Le Berre authored 9 months ago
  
  4a0b25ea
- Testcase for #180 · cdeee5d9
  Daniel Le Berre authored 9 months ago
  
  cdeee5d9
- Testcase for #179 · b69d6f1e
  Daniel Le Berre authored 9 months ago
  
  b69d6f1e
- Simplifies the way to write tests by allowing using an arbitrary number of integers in addClause() · 1a16b605
  Daniel Le Berre authored 9 months ago
  
  1a16b605
May 31, 2024
- Merge branch 'master-small-fixes' into 'master' · 83242929
  Daniel Le Berre authored 10 months ago
  
  Two small fixes. See merge request !13
  83242929
- LecteurDimacs.passerEspaces(): Handle '\r' as well. · 39677af2
  Václav Haisman authored 10 months ago
  
  39677af2
- Fix return value of AbstractPBClauseCardConstrDataStructure.constraintFactory(). · 953de6d6
  Václav Haisman authored 10 months ago
  
  953de6d6
- Alternate fix for !13 i · b1ebf0e4
  Daniel Le Berre authored 10 months ago
  
  b1ebf0e4
May 23, 2024
- Fix listener call in addClause() · 4d59b2e0
  Daniel Le Berre authored 10 months ago
  
  4d59b2e0
May 21, 2024
- Updated test case producing both icnf and idrup proof. · 3afec4a5
  Daniel Le Berre authored 10 months ago
  
  3afec4a5
- Update composite with new methods from SearchListener interface. · 5d727788
  Daniel Le Berre authored 10 months ago
  
  5d727788
- Created two listeners: one for icnf, and one for idrup. · 75968d7d
  Daniel Le Berre authored 10 months ago
  
  75968d7d
May 20, 2024
- Fixing tests · 49b48181
  Daniel Le Berre authored 10 months ago
  
  49b48181
- Fixing tests? · 95a8b18c
  Daniel Le Berre authored 10 months ago
  
  95a8b18c
- Fix issue if assumptions are inconsistent · 8668359c
  Daniel Le Berre authored 10 months ago
  
  8668359c
- More checks in icnf executor · 5dce4a48
  Daniel Le Berre authored 10 months ago
  
  5dce4a48
- Created icnf executor · 7e04091e
  Daniel Le Berre authored 10 months ago
  
  7e04091e
May 17, 2024
- Do not display model twice #176 · 48b0a742
  Daniel Le Berre authored 10 months ago
  
  48b0a742
May 16, 2024
- Fix model display in idrup · cf0a55ea
  Daniel Le Berre authored 10 months ago
  
  cf0a55ea
- First implementation of #176 · fa365191
  Daniel Le Berre authored 10 months ago
  
  fa365191
Apr 29, 2024
- Disable too long ApproxMC?Test tests · b86f1b37
  Daniel Le Berre authored 11 months ago
  
  b86f1b37
- Fixes compilation problem (methods missed from refactoring) · bad43538
  Daniel Le Berre authored 11 months ago
  
  bad43538
- Potential fix for #175 · 878a76f3
  Daniel Le Berre authored 11 months ago
  
  878a76f3
- New test files from Iris · 85e42224
  Daniel Le Berre authored 11 months ago
  
  85e42224
Mar 19, 2024
- Update test for #175 · ac2343ad
  Daniel Le Berre authored 1 year ago
  
  ac2343ad
Mar 13, 2024
- Fix Statistics solver · 4d2b3974
  Daniel Le Berre authored 1 year ago
  
  4d2b3974
Mar 07, 2024
- Added option -Dsilentmode to avoid too much information during model enumeration · 47dd16c3
  Daniel Le Berre authored 1 year ago
  
  47dd16c3
Mar 04, 2024
- Added back nightly build jars using a custom docker image · 5f9d3eac
  Daniel Le Berre authored 1 year ago
  
  5f9d3eac
- Avoid an exception when blocking latest model raises an exception · 984568d2
  Daniel Le Berre authored 1 year ago
  
  984568d2
- Allow projected model enumeration using external enumeration · 46660b81
  Daniel Le Berre authored 1 year ago
  
  46660b81
- display none when there is no SearchListener hooked to the solver · c5536c2f
  Daniel Le Berre authored 1 year ago
  
  c5536c2f
Mar 01, 2024
- Fix compilation issue · 56049d08
  Daniel Le Berre authored 1 year ago
  
  56049d08
- Correct fix for #175 · b3b695a6
  Daniel Le Berre authored 1 year ago
  
  b3b695a6
- Better caching of previous model found in OptToPBSATAdapter. · 66e34550
  Daniel Le Berre authored 1 year ago
  
  66e34550
- Fix for #175 · 8fc30e8f
  Daniel Le Berre authored 1 year ago
  
  8fc30e8f
Feb 29, 2024
- add a test with the external iterator. · da2ea3bc
  Daniel Le Berre authored 1 year ago
  
  da2ea3bc
- test case for bug #175 · 3ba5b56d
  Daniel Le Berre authored 1 year ago
  
  3ba5b56d
Feb 22, 2024
- Fix NPE while stopping model iteration on the command line. · fcbddf3a
  Daniel Le Berre authored 1 year ago
  
  fcbddf3a
Feb 21, 2024
- Fix optimal iterator when computing all solutions (there was an issue · 73646156
  Daniel Le Berre authored 1 year ago
  
  for the last model found).
  73646156