Commits · main · SAT4J / sat4j

Aug 28, 2024
- Better fix for #184 . · 71c5b02d
  Daniel Le Berre authored Aug 28, 2024
  
  71c5b02d
- Fix for #184 · 28ee5c9f
  Daniel Le Berre authored Aug 28, 2024
  
  28ee5c9f
Aug 26, 2024
- More cases and fixes for #182 · 55868da0
  Daniel Le Berre authored Aug 26, 2024
  
  55868da0
Aug 25, 2024
- One more fix for #182 · 99fcbfae
  Daniel Le Berre authored Aug 25, 2024
  
  99fcbfae
Aug 24, 2024
- Fix for 183 · 37bb5f4c
  Daniel Le Berre authored Aug 24, 2024
  
  37bb5f4c
- Fix for #182 · 90fe680f
  Daniel Le Berre authored Aug 24, 2024
  
  90fe680f
Jul 09, 2024
- Do not initialize decorator field to null by default. · 1af10a43
  Daniel Le Berre authored Jul 09, 2024
  
  1af10a43
Jul 03, 2024
- Typo · 7c77e917
  Daniel Le Berre authored Jul 03, 2024
  
  7c77e917
- Add link to RocketChat · f832dfa5
  Daniel Le Berre authored Jul 03, 2024
  
  f832dfa5
Jun 20, 2024
- Fix LimitedLearning none dsf initialisation · 72c386fa
  Daniel Le Berre authored Jun 20, 2024
  
  72c386fa
- Properly notify ignored clauses · d2962903
  Daniel Le Berre authored Jun 20, 2024
  
  d2962903
- Fix sonarqube violation · 3439f3ba
  Daniel Le Berre authored Jun 20, 2024
  
  3439f3ba
Jun 19, 2024
- Output ignored constraints in idrup file · 3d1fe4e5
  Daniel Le Berre authored Jun 19, 2024
  
  3d1fe4e5
- Fix test case. · abe23c03
  Daniel Le Berre authored Jun 19, 2024
  
  abe23c03
- Fix for #181 · fa8d90a0
  Daniel Le Berre authored Jun 19, 2024
  
  fa8d90a0
Jun 18, 2024
- Fix for #179 · 6e8225eb
  Daniel Le Berre authored Jun 18, 2024
  
  6e8225eb
- Fix for #180 · 4a0b25ea
  Daniel Le Berre authored Jun 18, 2024
  
  4a0b25ea
- Testcase for #180 · cdeee5d9
  Daniel Le Berre authored Jun 18, 2024
  
  cdeee5d9
- Testcase for #179 · b69d6f1e
  Daniel Le Berre authored Jun 18, 2024
  
  b69d6f1e
- Simplifies the way to write tests by allowing using an arbitrary number of integers in addClause() · 1a16b605
  Daniel Le Berre authored Jun 18, 2024
  
  1a16b605
May 31, 2024
- Merge branch 'master-small-fixes' into 'master' · 83242929
  Daniel Le Berre authored May 31, 2024
```
Two small fixes.

See merge request !13
```
  83242929
- LecteurDimacs.passerEspaces(): Handle '\r' as well. · 39677af2
  Václav Haisman authored May 31, 2024
  
  39677af2
- Fix return value of AbstractPBClauseCardConstrDataStructure.constraintFactory(). · 953de6d6
  Václav Haisman authored May 30, 2024
  
  953de6d6
- Alternate fix for !13 i · b1ebf0e4
  Daniel Le Berre authored May 31, 2024
  
  b1ebf0e4
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