curtisbright/PhysicsCheck

Issues

• MapleSAT generating solutions that doesn't satisfy the constraint

  #26 opened a year ago by BrianLi009
  1

• Improve code structure and modularization

  #19 opened a year ago by curtisbright
  3

• Running generate.py twice results in corrupted CNF

  #25 opened a year ago by curtisbright
  1

• compute canada iterative cubing verify cubes solved by cadical

  #24 opened a year ago by BrianLi009
  0

• Segmentation fault (tested locally and on virtual machine)

  #23 opened a year ago by BrianLi009
  4

• Clarity/ease of edits

  #22 opened a year ago by ConDug
  1

• Handle cube file stored in a sub-directory for `solve-single-cube.sh`

  #21 opened a year ago by piyush-J
  1

• Using the embeddable checking script

  #18 opened a year ago by curtisbright
  1

• Isomorphism checking error

  #20 opened a year ago by curtisbright
  4

• Update documentations and help messages

  #14 opened a year ago by BrianLi009
  1

• verify.sh, verify.py. Read files in py instead of sh

  #17 opened a year ago by BrianLi009
  0

• script for further cubing timeouted cubes

  #7 opened a year ago by BrianLi009
  2

• Simplify embeddability check implementation

  #12 opened a year ago by curtisbright
  16

• min degree function

  #16 opened a year ago by BrianLi009
  0

• Call Python once for embedability

  #13 opened a year ago by BrianLi009
  1

• New errors in pipeline

  #15 opened a year ago by BrianLi009
  1

• add embedability and colorability check to solve-single-cube.sh

  #10 opened a year ago by BrianLi009
  0

• summary script should get the cube with max solving time

  #11 opened a year ago by BrianLi009
  0

• Script for solving a single cube

  #5 opened a year ago by BrianLi009
  0

• main.sh option parsing broken

  #9 opened a year ago by curtisbright
  4

• fix squarefree generation script

  #6 opened a year ago by BrianLi009
  0

• decrease the number of conflicts for simplifying cubes

  #8 opened 2 years ago by BrianLi009
  1

• Constraint file storage duplication

  #2 opened 2 years ago by ConDug
  0

• allow running multiple main.sh call in parallel without folder conflict

  #3 opened 2 years ago by BrianLi009
  0

• minimize moving files around

  #4 opened 2 years ago by BrianLi009
  0

• Verification should determine the isomorphism classes of the KS candidates

  #1 opened 2 years ago by curtisbright
  1