Published January 14, 2021
| Version m10+proofs
Software
Open
peitl/smu: JAIR 20201
Description
The release accompanying the submission to JAIR in January 2021. In addition to the formulas, it also contains the found shortest proofs, and the generator code.
Files
peitl/smu-m10+proofs.zip
Files
(5.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:e6c33b9d21c9fb32588004de5da852ec
|
5.3 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/peitl/smu/tree/m10+proofs (URL)