Explore projects
-
Updated
-
Updated
-
Çağrı Uluç Yıldırımoğlu / Kissat3-pb2
MIT LicenseThis 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 -
Updated
-
Updated
-
Updated
-
Updated
-
-
penelope-opinion-observatories / climate-change-opinion-observatory
Apache License 2.0The Penelope climate change opinion observatory
Updated -
Updated
-
-
ehai / babel
OtherThe all-in-one toolkit for multi-agent experiments on emergent communication.
Updated