Commits · main · Mate Soos / Exact

Browse files

Oct 21, 2023
- update soplex · 6ae20e08
  JoD authored Oct 21, 2023
  
  6ae20e08
Oct 05, 2023
- update soplex · d708b625
  JoD authored Oct 05, 2023
  
  d708b625
Sep 19, 2023
- update ZIB license to Apache 2.0 · 627ac921
  JoD authored Sep 19, 2023
  
  627ac921
- update to fixed version of SoPlex · c41c2e55
  JoD authored Sep 19, 2023
  
  c41c2e55
Sep 14, 2023
- return bits for solution size · 1047e5f1
  JoD authored Sep 14, 2023
  
  1047e5f1
- naively count number of possible solutions · 5b2a4baa
  JoD authored Sep 14, 2023
  
  5b2a4baa
Sep 10, 2023
- add array helper functions · 181db3ca
  JoD authored Sep 10, 2023
  
  181db3ca
- fix hash bug · 9f3e8ed5
  JoD authored Sep 10, 2023
  
  9f3e8ed5
Sep 07, 2023
- generalize contains helper function · 11e20fe1
  JoD authored Sep 07, 2023
  
  11e20fe1
Sep 02, 2023
- more efficient comprehension · 5ea0f11f
  JoD authored Sep 02, 2023
  
  5ea0f11f
Aug 28, 2023
- updated copyright notice and added Options.cpp and Stats.cpp · 65303464
  JoD authored Aug 28, 2023
  
  65303464
- more fun with hashing · 5fa20bcc
  JoD authored Aug 28, 2023
  
  5fa20bcc
Aug 27, 2023
- fix two warnings · af679458
  JoD authored Aug 27, 2023
  
  af679458
Aug 26, 2023
- fix memory leak when creating multiple solver objects · 6730b156
  JoD authored Aug 26, 2023
  
  6730b156
Aug 25, 2023
- further refactor of hashing · 03ba0200
  JoD authored Aug 25, 2023
  
  03ba0200
Aug 23, 2023
- restructure hashing · 292c57e3
  JoD authored Aug 23, 2023
  
  292c57e3
Aug 20, 2023
- allow custom equality in unordered_map/set typedef · a13cc2c6
  JoD authored Aug 20, 2023
  
  a13cc2c6
Jul 20, 2023
- add contains helper method · 54dbf046
  JoD authored Jul 20, 2023
  
  54dbf046
Jul 19, 2023
- update the changelog · 6123bac8
  JoD authored Jul 19, 2023
  
  View commits for tag v1.2.1 v1.2.1
  6123bac8
- fixed phase + extra checks + randomization bug fix · 6e1fa28e
  JoD authored Jul 19, 2023
  
  6e1fa28e
- cleaning up options · 0b8142ce
  JoD authored Jul 19, 2023
  
  0b8142ce
Jul 17, 2023
- small cleanup of options · 758a95cd
  JoD authored Jul 17, 2023
  
  758a95cd
Jun 26, 2023
- catch more unsat · fd9ccc21
  JoD authored Jun 26, 2023
  
  fd9ccc21
- small · 7f686876
  JoD authored Jun 26, 2023
  
  7f686876
Jun 24, 2023
- small · c458bc88
  JoD authored Jun 24, 2023
  
  c458bc88
Jun 19, 2023
- Merge branch 'main' of gitlab.com:JoD/exact · ac053728
  JoD authored Jun 19, 2023
  
  ac053728
- print #vars and #constraints when solving from the interface · 3b01b1ce
  JoD authored Jun 19, 2023
  
  3b01b1ce
- python readme · 310ade66
  JoD authored Jun 19, 2023
  
  310ade66
Jun 18, 2023
- number of variables in LP solver · 2a8effee
  JoD authored Jun 18, 2023
  
  2a8effee
Jun 16, 2023
- update contains method to focus on vectors for easier type derivation · 3c4a774e
  JoD authored Jun 16, 2023
  
  3c4a774e
- add Ankerl license · 1e91e47d
  JoD authored Jun 16, 2023
  
  1e91e47d
Jun 13, 2023
- small readme update · 2b544a02
  JoD authored Jun 13, 2023
  
  2b544a02
- Python version 1.1.3 · 70da352d
  JoD authored Jun 13, 2023
  
  70da352d
Jun 12, 2023
- return an empty core when unsatisfiable · 860b374f
  JoD authored Jun 12, 2023
  
  860b374f
- catch unsat state with reifications · ed8f3fef
  JoD authored Jun 12, 2023
  
  ed8f3fef
Jun 07, 2023
- fix formula printing missing space · d31f553e
  JoD authored Jun 07, 2023
  
  d31f553e
Jun 05, 2023
- Small updates to Python package configuration · 52efa93c
  JoD authored Jun 05, 2023
  
  52efa93c
- Trying to limit package to Linux · c35e2f59
  JoD authored Jun 05, 2023
  
  c35e2f59
May 29, 2023
- bump python version once again · 289916b7
  JoD authored May 29, 2023
  
  289916b7
- update Python headers · c114c030
  JoD authored May 29, 2023
  
  c114c030