Vinícius Camillo's repositories
MIT000
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMTNOASSERTION000
Paintbox
A simple graphics framework written from scratch in C++.
Language:C++MIT000
Web-Physics-Simulations
Simple web physics simulations made using HTML5 and Javascript, for educational purposes.
Language:JavaScriptMIT000