The all-in-one toolkit for multi-agent experiments on emergent communication.
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.
Generate the CLEVRancais dataset
Initializer for Matlab projects
Cookingbot for the AI Programming Paradigms course
Time series prediction dataset.
Fork of Orange3 to alter rule mining algorithms for multi-label classification