Commits · master · Orestis Lomis / RoundingSat

Browse files

Jan 07, 2025
- update parser · 73aaf09e
  Wietze Koops authored Jan 07, 2025
  
  73aaf09e
Jun 25, 2024
- Merge branch 'master' into 'master' · d34b6bed
  Andy Oertel authored Jun 25, 2024
  d34b6bed
- Apply 1 suggestion(s) to 1 file(s) · cacbdb85
  Alexander Hoen authored Jun 25, 2024
  
  cacbdb85
- make iostreams optional · 69aed747
  Alexander Hoen authored Jun 25, 2024
  
  69aed747
Nov 15, 2023
- Fix proof logging for new syntax · c548e109
  Andy Oertel authored Nov 15, 2023
  
  c548e109
- Change default time limit to be disabled · 10beaf60
  Andy Oertel authored Nov 15, 2023
  
  10beaf60
- Autoformatting · 9aa858a8
  Andy Oertel authored Nov 15, 2023
  
  9aa858a8
- Merge branch 'external_callable' into 'master' · 1e732a5c
  Andy Oertel authored Nov 15, 2023
  1e732a5c
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
Mar 28, 2023
- Roundingsat can open gz and bz2 files · 3d484b84
  Alexander Hoen authored Mar 20, 2023
  
  3d484b84
- Roundingsat can open gz and bz2 files · 00f2589b
  Alexander Hoen authored Mar 20, 2023
  
  00f2589b
- change timelimit to 5k · 53d6e9f1
  Alexander Hoen authored Mar 16, 2023
  
  53d6e9f1
- catch case that infeasibility is detected while reading · bf8ef463
  Alexander Hoen authored Mar 14, 2023
  
  bf8ef463
- add addtional time check · 0a010834
  Alexander Hoen authored Mar 06, 2023
  
  0a010834
- add parameter time_limit to abort solving after some time · c25b9220
  Alexander Hoen authored Feb 23, 2023
  
  c25b9220
- stop exiting to not abort the calling library · 9d13f1a9
  Alexander Hoen authored Feb 23, 2023
  
  9d13f1a9
- stop exiting to not abort the calling library · 1cffc7bf
  Alexander Hoen authored Feb 22, 2023
  
  1cffc7bf
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
  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