Pinned Repositories
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
2020.2-lp
2021.1-fm
2021.1-lp
2021.2-lp
2022.1-lp
2022.2-lp
cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
qmk_firmware
keyboard controller firmware for Atmel AVR USB family
teachingSchedule
HanielB's Repositories
HanielB/2022.1-lp
HanielB/2022.2-lp
HanielB/cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
HanielB/teachingSchedule
HanielB/2020.2-lp
HanielB/2021.1-fm
HanielB/2021.1-lp
HanielB/2021.2-lp
HanielB/2022.2-fm
HanielB/qmk_firmware
keyboard controller firmware for Atmel AVR USB family
HanielB/2023.1-ilc
HanielB/2023.1-lp
HanielB/2023.2-fm
HanielB/2023.2-ilc
HanielB/2024.1-ilc
HanielB/2024.2-matdis
HanielB/2024.2-smt
HanielB/abstract
Movie App in React and Typescript
HanielB/carcara
HanielB/cvc5_pythonic_api
A Z3Py-compatible interface to cvc5
HanielB/goodreads
Python wrapper for Goodreads API
HanielB/lean-smt
Tactics for discharging Lean goals into SMT solvers.
HanielB/letterboxd
Python 3 wrapper for the Letterboxd API v0
HanielB/mkplot
A Python script to create cactus and scatter plots based on matplotlib
HanielB/pxtpwww
HanielB/pysmt
pySMT: A library for SMT formulae manipulation and solving
HanielB/smt-comp.github.io