Index of /src/ipasir-sys-0.3.0/vendor/cadical/test/usage/

../
README.md                                          07-Jul-2020 20:13                 472
makefile                                           07-Jul-2020 20:13                  95
missing-clause.cnf                                 07-Jul-2020 20:13                  14
relaxed-header.cnf                                 07-Jul-2020 20:13                  43
run.sh                                             07-Jul-2020 20:13                3633
variable-too-large.cnf                             07-Jul-2020 20:13                  14