Index of /LNF/linux/ubuntu/focal/LNFcvc-47/reloc/share/cvc4
Name Last modified Size Description
Parent Directory -
drat.plf 2020-10-26 22:16 16K
er.plf 2020-06-19 18:59 5.0K
lrat.plf 2020-10-26 22:16 22K
sat.plf 2020-06-19 18:59 6.1K
smt.plf 2020-06-19 18:59 11K
th_arrays.plf 2020-06-19 18:59 2.3K
th_base.plf 2020-06-19 18:59 2.7K
th_bv.plf 2020-06-19 18:59 3.4K
th_bv_bitblast.plf 2020-06-19 18:59 20K
th_bv_rewrites.plf 2020-06-19 18:59 329
th_int.plf 2020-06-19 18:59 620
th_lira.plf 2020-10-26 22:16 14K
th_real.plf 2020-06-19 18:59 1.0K
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80