Commits · master · PB CDCL Strategies / RoundingSat

Browse files

Jul 06, 2023
- Merge branch 'logging' into 'master' · 13655451
  Andy Oertel authored Jul 06, 2023
  13655451
May 31, 2023
- Do not copy strings unnecessarily · 9ba4cc45
  Marc Vinyals authored May 30, 2023
  
  9ba4cc45
Mar 30, 2023
- Change to print only solution of original variables · 1d28f33e
  Andy Oertel authored Mar 29, 2023
  
  1d28f33e
Nov 30, 2022
- Update README.md · a7fe32d8
  Andy Oertel authored Nov 30, 2022
  
  a7fe32d8
- Update Docker documentation in README.md · 7f3aaefe
  Andy Oertel authored Nov 30, 2022
  
  7f3aaefe
- Fix compilation on Mac · 9c1b2dd6
  Andy Oertel authored Nov 30, 2022
  
  9c1b2dd6
Nov 24, 2022
- Add Dockerfile to compile Docker image of RoundingSAT · e36d8da2
  Andy Oertel authored Nov 24, 2022
  
  e36d8da2
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
  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