Commits · master · zhang lucas / RoundingSat

Browse files

Sep 25, 2021
- Update aux.hpp · 2668f7d3
  zhang lucas authored Sep 25, 2021
  
  2668f7d3
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
Sep 03, 2020
- forgot to update some string literals · 77407c39
  JoD authored Sep 03, 2020
  
  77407c39
- rename some coreguided options to something more understandable · 132801e5
  JoD authored Sep 03, 2020
  
  132801e5
- remove core-guided stuff · 7a1872d8
  JoD authored Sep 03, 2020
  
  7a1872d8
Sep 01, 2020
- rename fixed phase to solution phase · 598d552a
  JoD authored Sep 01, 2020
  
  598d552a
Aug 31, 2020
- Fixing last commit, which should not have went coreguided directly. · 151f4037
  Stephan Gocht authored Aug 31, 2020
  151f4037
- Add output about num assumptions. · 310b9a67
  Stephan Gocht authored Aug 31, 2020
  
  310b9a67
Aug 28, 2020
- don't output -nan · 3435a898
  JoD authored Aug 28, 2020
  
  3435a898
Aug 27, 2020
- coreguided stats · f981c8af
  JoD authored Aug 28, 2020
  
  f981c8af
- learn core constraints · 7143f68d
  JoD authored Aug 27, 2020
  
  7143f68d
- better defaults · 608dda07
  JoD authored Aug 27, 2020
  
  608dda07