Index of /src/screwsat-2.1.5/examples/

../
hard.cnf                                           23-Jan-2021 14:32              643391
sat.cnf                                            23-Jan-2021 14:32                  72
simple.rs                                          27-Jan-2021 10:17                2566
sudoku.rs                                          27-Jan-2021 10:17                7503
unsat.cnf                                          23-Jan-2021 14:32                 112