Commits · b8a79a49269c5bafa4dfa5c3bb2d4210f960f890 · Tobias Niederbrunner / PS Logic Colorable-Map SAT Solver

Oct 02, 2023
- update version references to python 3.10 to 3.12 · 503e980e
  Tobias Niederbrunner authored 1 year ago
  
  Verified
  
  503e980e
May 11, 2023
- fix some small typos · 725443f0
  Tobias Niederbrunner authored 1 year ago
  
  Verified
  
  725443f0
- bump version number and modify README · 98a9ac49
  Tobias Niederbrunner authored 1 year ago
  
  v1.3.0 Verified
  
  98a9ac49
May 10, 2023
- - added exercise sheet in examples/ for reference · 491b02d8
  Tobias Niederbrunner authored 1 year ago
  
  - added README - removed python runtime-version check, since pipenv ensures that python >= 3.10 is used
  Verified
  
  491b02d8