Commits · master · MIAO / Software / RoundingSat

Browse files

Sep 09, 2025
- User-friendly structure · a5c28f99
  Marc Vinyals authored Sep 09, 2025
  
  a5c28f99
- Windows build · d5345c82
  Marc Vinyals authored Sep 05, 2025
  
  d5345c82
Sep 08, 2025
- Automatic Linux build · e434fb39
  Marc Vinyals authored Aug 29, 2025
  
  e434fb39
- Support static Windows build · 633f047e
  Marc Vinyals authored Sep 08, 2025
  
  633f047e
Sep 05, 2025
- Fix static assert · 2a6afad4
  Marc Vinyals authored Sep 05, 2025
  
  2a6afad4
- Guard ioctl call · 492f9a77
  Marc Vinyals authored Sep 05, 2025
  
  492f9a77
- Update build instructions · 52f8030e
  Marc Vinyals authored Sep 04, 2025
  52f8030e
- More robust __int128 check · a9eb03e8
  Marc Vinyals authored Sep 04, 2025
  
  a9eb03e8
- Fix static build · 0aee8ce7
  Marc Vinyals authored Jun 25, 2025
  
  0aee8ce7
- Update build system · fdf0b2b9
  Marc Vinyals authored Jun 19, 2025
  
  fdf0b2b9
Sep 04, 2025
- Create new branch cross-platform for also running on Windows · acc7d10a
  Xuanye An authored May 01, 2025 and Marc Vinyals committed Sep 05, 2025
  
  acc7d10a
Aug 29, 2025
- Make SoPlex the default · e7da25e3
  Marc Vinyals authored Aug 27, 2025
  
  e7da25e3
Jun 08, 2025
- Merge branch 'dev' · 2b822bb5
  Marc Vinyals authored Jun 08, 2025
  
  2b822bb5
Jun 06, 2025
- log unnormalized division using weakenings · 7116cbc7
  Wietze Koops authored Jun 06, 2025
  
  View commits for tag cp25-experiments cp25-experiments
  
  7116cbc7
May 07, 2025
- Add static assert for using too many origins · b1c198e0
  Benjamin Bogø authored May 07, 2025
  
  b1c198e0
- Fix proog log deletions · b543dc56
  Benjamin Bogø authored May 07, 2025
  
  b543dc56
Apr 25, 2025
- Improve options codestyle and printing (as well as fixing the unused warning... · 270d1d32
  Benjamin Bogø authored Apr 25, 2025
  270d1d32
Mar 27, 2025
- Revert "simplify cut logging" · 7cfa0e7f
  Wietze Koops authored Mar 27, 2025
  7cfa0e7f
Mar 26, 2025
- different nonzero exit statuses for MemOut and TimeOut · 52883a67
  Wietze Koops authored Mar 26, 2025
  
  52883a67
- simplify cut logging · 0ea41d35
  Wietze Koops authored Mar 26, 2025
  
  0ea41d35
Mar 24, 2025
- do not log unit again if the constraint propagating it is already that unit · 1a88ec2e
  Wietze Koops authored Mar 24, 2025
  
  1a88ec2e
- log trivial constraints with ia · dc222e8d
  Wietze Koops authored Mar 24, 2025
  
  dc222e8d
- correct message upon finding inconsistent objective-improving constraint · a227c673
  Wietze Koops authored Mar 24, 2025
  
  a227c673
Mar 23, 2025
- log obj lb using ia · c1dc9c19
  Wietze Koops authored Mar 23, 2025
  
  c1dc9c19
Mar 22, 2025
- avoid logging delta constraint if resulting constraint is not logged (because it is a tautology) · 795bf63d
  Wietze Koops authored Mar 22, 2025
  
  795bf63d
Mar 21, 2025
- Fix compilation error if zstd not found · e7791101
  Marc Vinyals authored Mar 21, 2025
  
  e7791101
- Compile soplex with the same gmp flags · 3cd39cc7
  Marc Vinyals authored Mar 21, 2025
  
  3cd39cc7
Mar 20, 2025
- log delta constraint only if it has more than one literal · 9c9924ce
  Wietze Koops authored Mar 20, 2025
  
  9c9924ce
Mar 13, 2025
- More efficient reference counting · 09946423
  Marc Vinyals authored Mar 13, 2025
  
  09946423
Mar 08, 2025
- call logger gc more often · 500dbb80
  Wietze Koops authored Mar 08, 2025
  
  500dbb80
- refactor logDelta and efficient logging Optimization::removeUnits() · 12801644
  Wietze Koops authored Mar 08, 2025
  
  12801644
- Fix too early deletions in tree-like proofs · 20c8b510
  Marc Vinyals authored Mar 08, 2025
  
  20c8b510
- Store full proof info in compact constraints · 6f201f33
  Marc Vinyals authored Mar 08, 2025
  
  6f201f33
Mar 07, 2025
- Partially fix tracking of auxiliary weakening constraints · 679f23c8
  Marc Vinyals authored Mar 08, 2025
  
  679f23c8
Mar 06, 2025
- Back to rup for logging obj lb · 5008a066
  Marc Vinyals authored Mar 07, 2025
  
  5008a066
- more efficient logging of weakenings: part 2 and fix deletions · 53953fe8
  Wietze Koops authored Mar 06, 2025
  
  53953fe8
- more efficient logging of weakenings: part 1 · b6eabcd9
  Wietze Koops authored Mar 06, 2025
  
  b6eabcd9
- Avoid full recompile on commit change · 089861f0
  Marc Vinyals authored Mar 06, 2025
  
  089861f0
Mar 05, 2025
- weaken instead of adding literal axioms · fbb2c6c2
  Wietze Koops authored Mar 05, 2025
  
  fbb2c6c2
Feb 27, 2025
- Fix compile without Soplex · ca4dd53c
  Benjamin Bogø authored Feb 27, 2025
  
  ca4dd53c