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

../
empty.icnf                                         07-Jul-2020 20:13                   9
false.icnf                                         07-Jul-2020 20:13                  11
run.sh                                             07-Jul-2020 20:13                2020
two1.icnf                                          07-Jul-2020 20:13                  65
two2.icnf                                          07-Jul-2020 20:13                  64
unit1.icnf                                         07-Jul-2020 20:13                  20
unit2.icnf                                         07-Jul-2020 20:13                  19