| .. | | 03-May-2022 | - |
| Makefile | H A D | 07-Jul-2017 | 1 KiB | 47 | 18 |
| cco_batch_spec.c | H A D | 07-Jul-2017 | 26.2 KiB | 962 | 592 |
| cco_batch_spec.h | H A D | 07-Jul-2017 | 3.8 KiB | 132 | 63 |
| cco_clausesplitting.c | H A D | 07-Jul-2017 | 2.9 KiB | 93 | 21 |
| cco_clausesplitting.h | H A D | 07-Jul-2017 | 1.5 KiB | 56 | 7 |
| cco_einteractive_mode.c | H A D | 07-Jul-2017 | 27.6 KiB | 1,041 | 701 |
| cco_einteractive_mode.h | H A D | 07-Jul-2017 | 2.8 KiB | 96 | 48 |
| cco_eqnresolving.c | H A D | 07-Jul-2017 | 5 KiB | 173 | 81 |
| cco_eqnresolving.h | H A D | 07-Jul-2017 | 1.6 KiB | 58 | 9 |
| cco_eserver.c | H A D | 07-Jul-2017 | 5.2 KiB | 215 | 62 |
| cco_eserver.h | H A D | 07-Jul-2017 | 2.1 KiB | 83 | 21 |
| cco_esession.c | H A D | 07-Jul-2017 | 5.5 KiB | 233 | 102 |
| cco_esession.h | H A D | 07-Jul-2017 | 2.5 KiB | 95 | 31 |
| cco_factoring.c | H A D | 07-Jul-2017 | 4.8 KiB | 161 | 73 |
| cco_factoring.h | H A D | 07-Jul-2017 | 1.6 KiB | 63 | 11 |
| cco_forward_contraction.c | H A D | 07-Jul-2017 | 14.6 KiB | 532 | 314 |
| cco_forward_contraction.h | H A D | 07-Jul-2017 | 2.9 KiB | 97 | 39 |
| cco_interpreted.c | H A D | 07-Jul-2017 | 5.3 KiB | 201 | 90 |
| cco_interpreted.h | H A D | 07-Jul-2017 | 1.7 KiB | 69 | 6 |
| cco_paramodulation.c | H A D | 07-Jul-2017 | 31.2 KiB | 1,014 | 579 |
| cco_paramodulation.h | H A D | 07-Jul-2017 | 3.2 KiB | 97 | 40 |
| cco_proc_ctrl.c | H A D | 07-Jul-2017 | 11 KiB | 495 | 236 |
| cco_proc_ctrl.h | H A D | 07-Jul-2017 | 3.6 KiB | 132 | 66 |
| cco_proofproc.c | H A D | 07-Jul-2017 | 49.4 KiB | 1,521 | 1,027 |
| cco_proofproc.h | H A D | 07-Jul-2017 | 2.8 KiB | 84 | 32 |
| cco_scheduling.c | H A D | 07-Jul-2017 | 6.8 KiB | 249 | 152 |
| cco_scheduling.h | H A D | 07-Jul-2017 | 1.8 KiB | 71 | 21 |
| cco_simplification.c | H A D | 07-Jul-2017 | 6.9 KiB | 242 | 104 |
| cco_simplification.h | H A D | 07-Jul-2017 | 2.6 KiB | 86 | 28 |
| cco_sine.c | H A D | 07-Jul-2017 | 17.9 KiB | 608 | 313 |
| cco_sine.h | H A D | 07-Jul-2017 | 3 KiB | 92 | 38 |