Commits · master · Lucy Anne Patton / Steiner Triples and Sat Solvers

Mar 18, 2021
- Uploaded checks file · 7f967042
  Lucy Anne Patton authored 4 years ago
  
  7f967042
Mar 11, 2021
- Uploaded generateTransformers · 808ba51c
  Lucy Anne Patton authored 4 years ago
  
  808ba51c
- Uploaded Transformer.py · b5cc5681
  Lucy Anne Patton authored 4 years ago
  
  b5cc5681
- Added README · 8daa3c97
  Lucy Anne Patton authored 4 years ago
  
  8daa3c97
- Add new directory · cf2e937c
  Lucy Anne Patton authored 4 years ago
  
  cf2e937c
- Update ChessBoard.py with assumptions-based function and finer control over... · 57c5c9d5
  Lucy Anne Patton authored 4 years ago
  57c5c9d5
Feb 11, 2021
- Upload New File · 032dbe4f
  Lucy Anne Patton authored 4 years ago
  
  032dbe4f
- Upload ChessBoard · 8901a5e6
  Lucy Anne Patton authored 4 years ago
  
  8901a5e6
Jan 26, 2021
- Uploaded bruteForce and generateSteiner files. · 2ebc0afc
  Lucy Anne Patton authored 4 years ago
  
  2ebc0afc