Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

gitlab.com topics: SMT

nonfiction-software/exact

Exact

Last synced at: about 2 months ago - Stars: 3 - Forks: 4

korovin/iprover

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

Last synced at: about 2 years ago - Stars: 4 - Forks: 5

MatthijsSpaans/vs-eca-analyser

Visual studio enabled version of RECA, analyser for the energy usage of hybrid systems (software and hardwaremodels). Extended with symbolic execution and over-estimating stragies for the summarization of iterative branching(loops)

Last synced at: over 2 years ago - Stars: 0 - Forks: 1

nifty-pcbs/smt-breakout-breadboard

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

Last synced at: over 2 years ago - Stars: 0 - Forks: 0

Related Keywords
SMT 4 sot-23 1 soic 1 smd 1 pcb 1 kicad 1 electronics 1 breakout 1 z3 1 Symbolic execution 1 Energy analysis 1 verification 1 theorem proving 1 reasoning 1 logic 1 aig 1 TPTP 1 QBF 1 Model Checking 1 DQBF 1 AI 1 cp 1 SAT 1 PB 1 MIP 1 Integer Programming 1 Binary linear programming 1