files / problems / projective-plane-order-twelve / compute

..
certs/
allsat_mates.py3.0 KB
allsat_t.py2.7 KB
batch_two_mates.py3.1 KB
classify_types.py3.6 KB
encode_involution_compact.py3.3 KB
encode_involution_mols.py8.7 KB
encode_mate.py2.8 KB
encode_sigma_delta.py9.0 KB
encode_two_mates.py5.3 KB
fast_mates.py4.1 KB
isotopy.py2.5 KB
macneish_pair.py6.1 KB
normalize_involution.py2.0 KB
README.md1.3 KB
replay_identities.py1.2 KB
search_t3.c3.8 KB
verify_involution_mols.py4.1 KB

This folder on GitHub