files / problems / simon-ionization-excess / compute / q3
| .. | |
| certs/ | |
| work/ | |
| aspect_identities.py | 4.7 KB |
| lift_cert.py | 3.3 KB |
| mass_opt_check.py | 4.9 KB |
| README.md | 883 B |
| run_all.sh | 957 B |
| tighten_leading.py | 5.7 KB |
| trial_atomic.py | 2.6 KB |
| verify_aspect.c | 3.3 KB |
| verify_aspect.rs | 1.7 KB |
| verify_lift.py | 2.7 KB |