OKullmann/oklibrary — pull request #414 by MGwynne (2012-04-26 00:34:31+00:00)
Title: Amocheck

Branch: amocheck.

Adding amo_sc_fcl function and checking for n up to 10 that the clause-set is irredundant (it is).

Matthew