Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | CMakeLists.txt | 1106 | logplain |
-rw-r--r-- | README.md | 988 | logplain |
-rw-r--r-- | drat_test.plf | 13098 | logplain |
-rw-r--r-- | er_test.plf | 3668 | logplain |
-rw-r--r-- | ex-mem.plf | 1477 | logplain |
-rw-r--r-- | ex_bv.plf | 1668 | logplain |
-rw-r--r-- | example-arrays.plf | 3598 | logplain |
-rw-r--r-- | example-quant.plf | 1899 | logplain |
-rw-r--r-- | example.plf | 2531 | logplain |
-rw-r--r-- | lrat_test.plf | 28648 | logplain |
-rw-r--r-- | run_test.py | 4485 | logplain |
-rw-r--r-- | th_lira_test.plf | 8976 | logplain |