![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | ALL_RULES.lop | 2024-05-01 15:59 | 1.0K | |
![]() | BOO001-1+rm_eq_rstfp..> | 2024-05-01 15:59 | 1.5K | |
![]() | COL003-1+rm_eq_rstfp..> | 2024-05-01 15:59 | 2.5K | |
![]() | GROUP.lop | 2024-05-01 15:59 | 625 | |
![]() | GRP001-1_natural.lop | 2024-05-01 15:59 | 338 | |
![]() | HUMBLE.lop | 2024-05-01 15:59 | 303 | |
![]() | INVCOM.lop | 2024-05-01 15:59 | 465 | |
![]() | LAT3a.lop | 2024-05-01 15:59 | 378 | |
![]() | LAT4.lop | 2024-05-01 15:59 | 495 | |
![]() | LTBSampleInput1.txt | 2024-05-01 15:59 | 838 | |
![]() | LTBSampleInput2.txt | 2024-05-01 15:59 | 9.9K | |
![]() | LTBSampleInput3.txt | 2024-05-01 15:59 | 412 | |
![]() | LTBSampleInput4.txt | 2024-05-01 15:59 | 458 | |
![]() | LUSK3.lop | 2024-05-01 15:59 | 1.4K | |
![]() | LUSK3.pcl | 2024-05-01 15:59 | 117K | |
![]() | LUSK6.lop | 2024-05-01 15:59 | 1.2K | |
![]() | LUSK6ext.lop | 2024-05-01 15:59 | 1.2K | |
![]() | MSC006-1.lop | 2024-05-01 15:59 | 2.2K | |
![]() | Makefile | 2024-05-01 15:59 | 5.2K | |
![]() | Makefile.dependencies | 2024-05-01 15:59 | 81K | |
![]() | NUM030-1+rm_eq_rstfp..> | 2024-05-01 15:59 | 20K | |
![]() | PLA002-2+rm_eq_rstfp..> | 2024-05-01 15:59 | 3.8K | |
![]() | PUZ031-1+rm_eq_rstfp..> | 2024-05-01 15:59 | 4.3K | |
![]() | RNG019-6+rm_eq_rstfp..> | 2024-05-01 15:59 | 3.1K | |
![]() | SET103-6+rm_eq_rstfp..> | 2024-05-01 15:59 | 11K | |
![]() | SET366+4+rm_eq_rstfp..> | 2024-05-01 15:59 | 2.7K | |
![]() | all_rules.p | 2024-05-01 15:59 | 330 | |
![]() | ans_test01.p | 2024-05-01 15:59 | 184 | |
![]() | ans_test02.p | 2024-05-01 15:59 | 109 | |
![]() | ans_test03.p | 2024-05-01 15:59 | 201 | |
![]() | ans_test04.p | 2024-05-01 15:59 | 88 | |
![]() | checkproof.c | 2024-05-01 15:59 | 10K | |
![]() | classify_problem.c | 2024-05-01 15:59 | 24K | |
![]() | direct_examples.c | 2024-05-01 15:59 | 7.8K | |
![]() | e_axfilter.c | 2024-05-01 15:59 | 12K | |
![]() | e_client.c | 2024-05-01 15:59 | 8.9K | |
![]() | e_ltb_runner.c | 2024-05-01 15:59 | 7.6K | |
![]() | e_server.c | 2024-05-01 15:59 | 13K | |
![]() | e_version.h | 2024-05-01 15:59 | 1.7K | |
![]() | edpll.c | 2024-05-01 15:59 | 11K | |
![]() | eground.c | 2024-05-01 15:59 | 22K | |
![]() | ekb_create.c | 2024-05-01 15:59 | 8.1K | |
![]() | ekb_delete.c | 2024-05-01 15:59 | 7.8K | |
![]() | ekb_ginsert.c | 2024-05-01 15:59 | 11K | |
![]() | ekb_insert.c | 2024-05-01 15:59 | 9.1K | |
![]() | epclanalyse.c | 2024-05-01 15:59 | 6.7K | |
![]() | epclextract.c | 2024-05-01 15:59 | 9.8K | |
![]() | epcllemma.c | 2024-05-01 15:59 | 20K | |
![]() | eproof | 2024-05-01 15:59 | 7.1K | |
![]() | eproof.pl | 2024-05-01 15:59 | 2.2K | |
![]() | eproof_ram | 2024-05-01 15:59 | 4.2K | |
![]() | eprover.c | 2024-05-01 15:59 | 76K | |
![]() | filters.txt | 2024-05-01 15:59 | 3.9K | |
![]() | filters2.txt | 2024-05-01 15:59 | 190 | |
![]() | regression.tptp | 2024-05-01 15:59 | 5.2K | |
![]() | split_test.p | 2024-05-01 15:59 | 34 | |
![]() | termprops.c | 2024-05-01 15:59 | 5.4K | |
![]() | tsm_classify.c | 2024-05-01 15:59 | 10K | |
![]() | uae.p | 2024-05-01 15:59 | 845 | |