Published August 8, 2017 | Version v0.3
Software Open

jonaprieto/prop-pack v0.3

Creators

  • 1. EAFIT University

Description

We included propositional problems from the sources of Metis prover.

Files

jonaprieto/prop-pack-v0.3.zip

Files (43.4 kB)

Name Size Download all
md5:dee9f27edcfa609407d45ebe6a70ae4c
43.4 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/jonaprieto/prop-pack/tree/v0.3 (URL)