Commits · master · Jianwen Luo / RoundingSat

Browse files

Sep 11, 2022
- * fixed AppendAssignmentHook · 8af86eab
  Jianwen Luo authored Sep 12, 2022
  8af86eab
- * added hooks for variable assignment (i.e. decide, propagate), however... · 3ef23bb5
  Jianwen Luo authored Sep 11, 2022
  3ef23bb5
Sep 07, 2022
- Fix LP solver integration interface · 5ade61fb
  Andy Oertel authored Sep 07, 2022
  
  5ade61fb
May 31, 2022
- Move function docs to header file · fb865973
  Andy Oertel authored May 31, 2022
  
  fb865973
May 27, 2022
- Merge branch 'dev' into improvement/refactoring · 1431c804
  Andy Oertel authored May 27, 2022
  
  1431c804
May 25, 2022
- Add documentation and Refactor cutting planes resolution step · c883d0ca
  Andy Oertel authored May 25, 2022
  
  c883d0ca
May 20, 2022
- Refactor analyze() (conflict analysis) in Solver · 4d80303b
  Andy Oertel authored May 20, 2022
  
  4d80303b
Feb 02, 2022
- Merge branch 'dev' into 'master' · b5de84db
  Stephan Gocht authored Feb 02, 2022
  b5de84db
- Fix printing too few variables of solution in some cases. · d640a258
  Stephan Gocht authored Feb 02, 2022
  d640a258
Dec 01, 2021
- Remove construction of own formula file. · 62474db1
  Stephan Gocht authored Dec 01, 2021
  
  62474db1
Nov 09, 2021
- Renaming aux.hpp to auxiliary.hpp, for compatibility with Windows. · 3eacb770
  Stephan Gocht authored Nov 09, 2021
  
  3eacb770
Mar 29, 2021
- Merge branch 'update_readme' into 'master' · 28b690b3
  Stephan Gocht authored Mar 29, 2021
  28b690b3
- Remove missleading claim. · 30d01161
  Stephan Gocht authored Mar 29, 2021
  
  30d01161
Mar 05, 2021
- Merge branch 'arb_wcnf' into 'master' · 67a39421
  Stephan Gocht authored Mar 05, 2021
  View commits for tag monthly.21.03 monthly.21.03
  
  67a39421
- add arbitrary precision support to wcnfs · cbcfcc2b
  Stephan Gocht authored Mar 05, 2021
  
  cbcfcc2b
- Merge branch 'copyright_readme' into 'master' · d0aeb77c
  Stephan Gocht authored Mar 05, 2021
  d0aeb77c
- updating readme and copyright · 2111b7d1
  JoD authored Mar 05, 2021 and Stephan Gocht committed Mar 05, 2021
  
  2111b7d1
- Merge branch 'licensing' into 'master' · 8b4f51cb
  Stephan Gocht authored Mar 05, 2021
  8b4f51cb
- Update licensing information and add to binary. · 357bbeb3
  Stephan Gocht authored Mar 05, 2021
  
  357bbeb3
- Merge branch '74dd1d49-c012-4f1a-b85d-0fe5c571e41f' into 'master' · 044a7297
  Stephan Gocht authored Mar 05, 2021
  044a7297
Mar 01, 2021
- supply functionality for installing roundingsat · 773f36d1
  Matthew Fernandez authored Feb 28, 2021
  773f36d1
Feb 22, 2021
- fix obsolete assert · 4b26c3b9
  JoD authored Feb 22, 2021
  
  4b26c3b9
- Merge remote-tracking branch 'public/master' into roundingsat2 · 24730dc0
  Stephan Gocht authored Feb 22, 2021
  
  24730dc0
- Update Readme. · 715b906e
  Stephan Gocht authored Feb 22, 2021
  
  715b906e
- Add missing include. · 8b1555f9
  Stephan Gocht authored Feb 03, 2021
  
  8b1555f9
Feb 03, 2021
- Add missing include. · 54fe957b
  Stephan Gocht authored Feb 03, 2021
  
  54fe957b
Nov 20, 2020
- Update CMakeLists.txt · 662f2bff
  Stephan Gocht authored Nov 20, 2020
  
  662f2bff
- Fixing boost import · a17b7d0e
  Stephan Gocht authored Nov 20, 2020
  
  a17b7d0e
Sep 28, 2020
- merge decoupled_restarts · 0542bc86
  JoD authored Sep 28, 2020
  
  0542bc86
- add isSatisfiedAtRoot method to Constr · 9aa32221
  JoD authored Sep 28, 2020
  
  9aa32221
- commenting unused typedefs · e872ee29
  JoD authored Sep 28, 2020
  
  e872ee29
- decouple restarts and databse reductions · 257a3d48
  JoD authored Sep 28, 2020
  
  257a3d48
- setAssumption method in Solver · 0fb9863d
  JoD authored Sep 28, 2020
  
  0fb9863d
Sep 16, 2020
- hybrid ratio option · 7cbd9d76
  JoD authored Sep 16, 2020
  
  7cbd9d76
Sep 15, 2020
- removed obsolete assert · 7a52b9c1
  JoD authored Sep 15, 2020
  
  7a52b9c1
Sep 09, 2020
- Added some PR to README.md · 1476bf0b
  JoD authored Sep 09, 2020
  
  1476bf0b
Sep 04, 2020
- formatting · 383cce49
  JoD authored Sep 04, 2020
  
  383cce49
- formatting · cf65d213
  JoD authored Sep 04, 2020
  
  cf65d213
- fixing readme · 35e9d84c
  JoD authored Sep 04, 2020
  
  35e9d84c
- Update README.md · 95a5f8ad
  JoD authored Sep 04, 2020
  
  95a5f8ad