A jigsaw puzzle solver using AI

A Flask web app where readers can look up books and read and write reviews for them

Python implementation of the Blossom algorithm to find maximum matching in any undirected graph

Experiments towards neural network theorem proving

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.