Published August 25, 2023 | Version v1
Dataset Open

Constraint Superposition for Higher-order Logic

Authors/Creators

  • 1. TU Wien

Contributors

Supervisor:

  • 1. TU Wien

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
md5:9f4df40763b5dca23a5c572a94ecda86
271.4 MB Preview Download