Dan's Projects
Daniel Espinosa's professional PCB Design / Altium portfolio.
Gradescope would not let me upload.
The glucose SAT solver
Windows builds for The Glucose SAT Solver (mods)
A verilog file containing all of the verilog syntax and common expressions.
Multiple approaches to solving the Maxcut problem with a nonzero B and constraints using hopfield networks, variational quantum eigensolvers, and the QAOA ansatz.
microwalksat
Comparison running time of WalkSAT and Resolution Proving algorithms in C++ vs Python.
PDF GPT allows you to chat with the contents of your PDF file by using GPT capabilities. The most effective open source solution to turn your pdf files in a chatbot!
PyDPvis is a Python tool to visualize the structure of SAT instances
A complete tutorial on EBMs on python
Part of work done under FZJ in 2022, a fork of https://github.com/QuCO-CSAM/Solving-Combinatorial-Optimisation-Problems-Using-Quantum-Algorithms/blob/main/QuadraticAssignmentProblem/Code/QAOA.ipynb
Creating a hardware solver in Verilog and then uploading to FPGA and connecting to a PC to solve SAT problems.
Fork of /tg/station for HSD
A number of self-contained SQL projects to refresh my memory of the language.
Code for the paper of the same name.
Data and plotting functions for benchmarking work done during UCSB PhD of SAT and MAXSAT solvers
A USB Microphone built with an INMP441 and an STM32