OKullmann/oklibrary — pull request #409 by MGwynne (2012-04-04 20:55:02+00:00)
Title: Adding characterisation of the prime implicates for sat_genhorn_cs(k,l).

Branch: rucpbase.

Adding characterisation of the prime implicates for sat_genhorn_cs(k,l).

Matthew