S
SMT

Projects with this topic

View iprover project

Konstantin Korovin / iprover
CI/CD Catalog (unpublished)

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.

theorem proving AI verification Model Checking SMT TPTP QBF DQBF aig logic reasoning

6

Updated Nov 27, 2025

6 7 0 0

Updated Nov 27, 2025
View Exact project

Nonfiction Software / Exact

Exact

Binary linea... Integer Prog... MIP SAT cp PB SMT

5

Updated Dec 13, 2025

5 4 1 4

Updated Dec 13, 2025
View SMT Breakout Breadboard project

Nifty PCBs / SMT Breakout Breadboard

A 'Nifty PCB' to breakout SOT-23 and SOIC parts into through-holes, for easy prototyping. Designed with KiCad.

pcb kicad breakout SMT smd electronics soic sot-23

0

Updated Mar 10, 2019

0 0 0 0

Updated Mar 10, 2019