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

7

Updated Apr 06, 2026

7 7 0 0

Updated Apr 06, 2026
View Exact project

Nonfiction Software / Exact

Exact

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

6

Updated Mar 29, 2026

6 4 1 6

Updated Mar 29, 2026
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