Add support to Triangle for generic SAT test.