Commits · VERIPB2 · SAT4J / sat4j

20 Sep, 2021 5 commits
- Delete Anthony2.java · d3266770
  Anthony Blomme authored Sep 20, 2021
  
  d3266770
- Delete Anthony.java · ced102ef
  Anthony Blomme authored Sep 20, 2021
  
  ced102ef
- handling other file formats · 6ce76619
  Blomme Anthony authored Sep 20, 2021
  
  6ce76619
- rectification saturation · c19d473a
  Blomme Anthony authored Sep 20, 2021
  
  c19d473a
- veriPB : try to use saturation in the proof only when necessary · 09bb8a79
  Blomme Anthony authored Sep 20, 2021
  
  09bb8a79
17 Sep, 2021 3 commits
- Notify the listener when a clause is inferred after a saturation · 504d5caa
  Blomme Anthony authored Sep 17, 2021
  
  504d5caa
- push · 7e7177dc
  Blomme Anthony authored Sep 17, 2021
  
  7e7177dc
- Detect division to clause · 82b59671
  Blomme Anthony authored Sep 17, 2021
  
  82b59671
16 Sep, 2021 2 commits
- Add multiplication/division iff coeff > 1 · d265bf75
  Blomme Anthony authored Sep 16, 2021
  
  d265bf75
- Add multiplication and division iff coeff > 1 · 6b85bf80
  Blomme Anthony authored Sep 16, 2021
  
  6b85bf80
15 Sep, 2021 1 commit
- Phase selection strategy is also random · 81030b6a
  Daniel Le Berre authored Sep 15, 2021
  
  81030b6a
11 Sep, 2021 1 commit
- Greedy OPB solver · 24b06390
  Daniel Le Berre authored Sep 11, 2021
  
  24b06390
07 Sep, 2021 3 commits
- Better message (0 >= 1 instead of null). · 9c04ce7c
  Daniel Le Berre authored Sep 07, 2021
  
  9c04ce7c
- Merge branch 'VERIPB2' of https://gitlab.ow2.org/sat4j/sat4j into VERIPB · 09815de6
  Daniel Le Berre authored Sep 07, 2021
  
  09815de6
- Taking into account the case of null parameter. · 93082e16
  Daniel Le Berre authored Sep 07, 2021
  
  93082e16
02 Sep, 2021 2 commits
- Fix weakening bug · 08d180fa
  Blomme Anthony authored Sep 02, 2021
  
  08d180fa
- Fix weakening bug · e8f5db2b
  Blomme Anthony authored Sep 02, 2021
  
  e8f5db2b
31 Aug, 2021 23 commits
- Fix compilation problems. · 644cead9
  Daniel Le Berre authored Aug 31, 2021
  
  644cead9
- Using dedicated message for VERIPB. · 498622d5
  Daniel Le Berre authored Jul 15, 2021
  
  498622d5
- Textual representation of listeners. · c632d767
  Daniel Le Berre authored Jul 15, 2021
  
  c632d767
- Using dump() instead of toString() to get the expected textual · 808cb14a
  Daniel Le Berre authored Jul 13, 2021
```
representation.
```
  808cb14a
- Fix for last clause derivation · 6f236c9b
  Blomme Anthony authored Jul 13, 2021 and Daniel Le Berre committed Aug 31, 2021
  
  6f236c9b
- Adding the option e · 49947d10
  Blomme Anthony authored Jun 05, 2021 and Daniel Le Berre committed Aug 31, 2021
  
  49947d10
- added constraints for = in the same order as expected by VeriPB · 83265ace
  Daniel Le Berre authored May 17, 2021
  
  83265ace
- Do the loop on each enclosed constraint. · ea618d84
  Daniel Le Berre authored May 17, 2021
  
  ea618d84
- fixes id for = constraints · ac1ce775
  Daniel Le Berre authored May 17, 2021
  
  ac1ce775
- MAJ VERIPB · c4ebee28
  Blomme Anthony authored Apr 26, 2021 and Daniel Le Berre committed Aug 31, 2021
  
  c4ebee28
- Make sure that plain SearchListener objects can be used with CP based · 27a76efd
  Daniel Le Berre authored Feb 22, 2021
```
solvers which now expect a PBSearchListener.
```
  27a76efd
- Uses a default void PBSearchListener when MapPb are not used for · 62a414b1
  Daniel Le Berre authored Feb 21, 2021
```
conflict analysis (e.g. constraints normalization).
```
  62a414b1
- Move IConflict.setListener() to make sure it is called in all CP · feffd5d5
  Daniel Le Berre authored Feb 20, 2021
```
solvers.
```
  feffd5d5
- Not applicable here. · 454cc5f6
  Daniel Le Berre authored Feb 20, 2021
  
  454cc5f6
- First implementation of proof logging · 29c133aa
  Blomme Anthony authored Feb 22, 2021 and Daniel Le Berre committed Aug 31, 2021
  
  29c133aa
- Move PBSearchListener setter in createReader. · db3d1a85
  Daniel Le Berre authored Feb 19, 2021
  
  db3d1a85
- Moved set/get id to IConstr · 97043f8d
  Daniel Le Berre authored Feb 18, 2021
  
  97043f8d
- Added optional setId() to Constr. · b80e750c
  Daniel Le Berre authored Feb 15, 2021
  
  b80e750c
- Fix for ClassCastException. · dbf63dc6
  Daniel Le Berre authored Feb 15, 2021
  
  dbf63dc6
- Got all possible solution for nofail. · e9448205
  Daniel Le Berre authored Feb 15, 2021
  
  e9448205
- Complete nofail solver · e7a44adc
  Blomme Anthony authored Feb 15, 2021 and Daniel Le Berre committed Aug 31, 2021
  
  e7a44adc
- Refactored code to be easier to check. · 30d564e6
  Daniel Le Berre authored Feb 10, 2021
  
  30d564e6
- First version of the discerning solver (1 single solution). · f6902cb8
  Daniel Le Berre authored Feb 10, 2021
  
  f6902cb8