Explore projects
-
Fork of Orange3 to alter rule mining algorithms for multi-label classification
Updated -
This repository is to hack kissat 3.0 to print pb2 proofs instead of DRAT. Also, kissat is hacked to always read cnfs from stdin.
Updated
Fork of Orange3 to alter rule mining algorithms for multi-label classification
This repository is to hack kissat 3.0 to print pb2 proofs instead of DRAT. Also, kissat is hacked to always read cnfs from stdin.