issues
search
curtisbright
/
PhysicsCheck
Other
0
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
MapleSAT generating solutions that doesn't satisfy the constraint
#26
BrianLi009
closed
1 year ago
1
Running generate.py twice results in corrupted CNF
#25
curtisbright
closed
1 year ago
1
compute canada iterative cubing verify cubes solved by cadical
#24
BrianLi009
closed
1 year ago
0
Segmentation fault (tested locally and on virtual machine)
#23
BrianLi009
closed
1 year ago
4
Clarity/ease of edits
#22
ConDug
closed
1 year ago
1
Handle cube file stored in a sub-directory for `solve-single-cube.sh`
#21
piyush-J
closed
1 year ago
1
Isomorphism checking error
#20
curtisbright
closed
1 year ago
4
Improve code structure and modularization
#19
curtisbright
closed
1 year ago
3
Using the embeddable checking script
#18
curtisbright
closed
1 year ago
1
verify.sh, verify.py. Read files in py instead of sh
#17
BrianLi009
closed
1 year ago
0
min degree function
#16
BrianLi009
closed
1 year ago
0
New errors in pipeline
#15
BrianLi009
closed
1 year ago
1
Update documentations and help messages
#14
BrianLi009
closed
1 year ago
1
Call Python once for embedability
#13
BrianLi009
closed
1 year ago
1
Simplify embeddability check implementation
#12
curtisbright
closed
1 year ago
16
summary script should get the cube with max solving time
#11
BrianLi009
closed
1 year ago
0
add embedability and colorability check to solve-single-cube.sh
#10
BrianLi009
closed
1 year ago
0
main.sh option parsing broken
#9
curtisbright
closed
1 year ago
4
decrease the number of conflicts for simplifying cubes
#8
BrianLi009
closed
1 year ago
1
script for further cubing timeouted cubes
#7
BrianLi009
closed
1 year ago
2
fix squarefree generation script
#6
BrianLi009
closed
1 year ago
0
Script for solving a single cube
#5
BrianLi009
closed
1 year ago
0
minimize moving files around
#4
BrianLi009
closed
1 year ago
0
allow running multiple main.sh call in parallel without folder conflict
#3
BrianLi009
closed
1 year ago
0
Constraint file storage duplication
#2
ConDug
closed
1 year ago
0
Verification should determine the isomorphism classes of the KS candidates
#1
curtisbright
closed
1 year ago
1