Exact

Exact Union RegExp

Simon Cruanes a08cda8c5b test: add a lot more tests (for SAT)		2021-08-02 16:05:35 -04:00
..
mean
uuf150-01.cnf
uuf150-02.cnf
uuf150-03.cnf
uuf150-04.cnf
uuf150-05.cnf
uuf150-06.cnf
uuf150-07.cnf
uuf150-08.cnf
uuf150-09.cnf
uuf150-010.cnf
uuf150-011.cnf
uuf150-012.cnf
uuf150-013.cnf
uuf150-014.cnf
uuf150-015.cnf
uuf150-016.cnf
uuf150-017.cnf
uuf150-018.cnf
uuf150-019.cnf
uuf150-020.cnf
uuf150-021.cnf
uuf150-022.cnf
uuf150-023.cnf
uuf150-024.cnf
uuf150-025.cnf
uuf150-026.cnf
uuf150-027.cnf
uuf150-028.cnf
uuf150-029.cnf
uuf150-030.cnf
uuf150-031.cnf
uuf150-032.cnf
uuf150-033.cnf
uuf150-034.cnf
uuf150-035.cnf
uuf150-036.cnf
uuf150-037.cnf
uuf150-038.cnf
uuf150-039.cnf
uuf150-040.cnf
uuf150-041.cnf
uuf150-042.cnf
uuf150-043.cnf
uuf150-044.cnf
uuf150-045.cnf
uuf150-046.cnf
uuf150-047.cnf
uuf150-048.cnf
uuf150-049.cnf
uuf150-050.cnf
uuf150-051.cnf
uuf150-052.cnf
uuf150-053.cnf
uuf150-054.cnf
uuf150-055.cnf
uuf150-056.cnf
uuf150-057.cnf
uuf150-058.cnf
uuf150-059.cnf
uuf150-060.cnf
uuf150-061.cnf
uuf150-062.cnf
uuf150-063.cnf
uuf150-064.cnf
uuf150-065.cnf
uuf150-066.cnf
uuf150-067.cnf
uuf150-068.cnf
uuf150-069.cnf
uuf150-070.cnf
uuf150-071.cnf
uuf150-072.cnf
uuf150-073.cnf
uuf150-074.cnf
uuf150-075.cnf
uuf150-076.cnf
uuf150-077.cnf
uuf150-078.cnf
uuf150-079.cnf
uuf150-080.cnf
uuf150-081.cnf
uuf150-082.cnf
uuf150-083.cnf
uuf150-084.cnf
uuf150-085.cnf
uuf150-086.cnf
uuf150-087.cnf
uuf150-088.cnf
uuf150-089.cnf
uuf150-090.cnf
uuf150-091.cnf
uuf150-092.cnf
uuf150-093.cnf
uuf150-094.cnf
uuf150-095.cnf
uuf150-096.cnf
uuf150-097.cnf
uuf150-098.cnf
uuf150-099.cnf
uuf150-0100.cnf