Published August 25, 2023
| Version v1
Dataset
Open
Constraint Superposition for Higher-order Logic
Description
This archive contains the evaluation results, scripts, problems and executables used for the evaluation in the thesis "Constraint Superposition for Higher-order Logic".
Files
archive.zip
Files
(271.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:9f4df40763b5dca23a5c572a94ecda86
|
271.4 MB | Preview Download |