Explore projects

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.

Initializer for Matlab projects

Generate the CLEVRancais dataset

Time series prediction dataset.

Cookingbot for the AI Programming Paradigms course

Fork of Orange3 to alter rule mining algorithms for multi-label classification