component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with return code 206;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEaf24c0dd6975: build Isabelle CSDP component from official downloads;
- Branches
- Unknown
- Tags