Skip to content

Trending

See what the GitHub community is most excited about today.

  1. CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

    SMT 263 98 Built by @mdeters @ajreynol @timothy-king @kbansal @tiliang
  2. Fusion 360 design files for various boards, components and parts

    SMT 137 25 Built by @djecken
  3. The Yices SMT Solver

    SMT 115 14 Built by @BrunoDutertre @ianamason @dddejan @aman-goel @samowre
  4. Update to Eustathios with a little bit of HercuLien Design Changes

    SMT 104 33 Built by @eclsnowman @nionio6915 @walterhsiao @WheresWaldo @oseiler2
  5. Precious Plastic Downloadpack

    SMT 100 28 Built by @davehakkens @Jerzeek @leo @Dimtree
  6. mbed HDK - This repository is not being maintained. For the latest updates, please use: http://www.oddjack.com/?certs=ARMmbed/mbed-HDK-Eagle-Projects

    SMT 64 46 Built by @andcor02 @chris-styles @iriark01 @BlackstoneEngineering @ashok-rao
  7. A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

    SMT 62 8 Built by @mpreiner @aniemetz @arminbiere @andrewvaughanj @marcogario
  8. New version of the dReal solver. More info at

    SMT 44 32 Built by @soonhokong @scungao @soonho-tri @danbryce @liubing1020
  9. Open Thermocycler Implementation

    SMT 39 47 Built by @hisashin @maripo @jperfetto
  10. A low-cost GPS module for Nikon DSLRs

    SMT 32 4 Built by @marmat
  11. A library for Proof Theory (especially Proof Compression) in Scala.

    SMT 28 30 Built by @ceilican @jgorzny @Jogo27 @AFellner @EzequielPostan
  12. run z3 on iOS for some reason

    SMT 25 1 Built by @jamesbornholt
  13. Ghosts of Departed Proofs

    SMT 23 1 Built by @matt-noonan
  14. Learning to Solve SMT Formulas Fast

    SMT 18 4 Built by @pavol-bielik
  15. Official M3D Promega Repository for tracking SD Card Configs, Slicer Configs, and Issues Voting/Tracking

    SMT 17 18 Built by @marcel-isler @ericl-m3d @daniel-farina @flipthedog @quarky42
  16. SMT Solver for Nonlinear Theories of Reals

    SMT 16 10 Built by @soonho-tri @martinjos @em-mcg
  17. Collection of Eagle projects for targets, interfaces, shields and more

    SMT 15 7 Built by @chris-styles @ashok-rao
  18. Please check dreal3 instead.

    SMT 13 15 Built by @soonhokong @scungao @danbryce @liubing1020 @kquine
  19. Test and benchmark repository for Z3.

    SMT 12 16 Built by @wintersteiger @NikolajBjorner @leodemoura @levnach @nunoplopes
  20. A Fast Floating-Point Satisfiability Solver

    SMT 11 1 Built by @zhoulaifu
  21. Tons of Inductive Problems: The Benchmarks

    SMT 11 3 Built by @nick8325 @danr @Airini @Warbo
  22. Space Invaders in Verilog for the iCE40 H1K

    SMT 11 3 Built by @RCoeurjoly @adumont
  23. [research] A modular SMT solver in OCaml, based on mcSAT

    SMT 11 2 Built by @Gbury @c-cube @louisabraham
  24. WEEDINATOR agricultural robot files

    SMT 10 1 Built by @paddygoat @SlashDevin
  25. LTC4015 solar multi-chemistry battery charger (35V/8A)

    SMT 8 Built by @lucansky
Other: SMT
Other Languages
1C Enterprise ABAP ABNF ActionScript Ada Adobe Font Metrics Agda AGS Script Alloy Alpine Abuild AMPL AngelScript Ant Build System ANTLR ApacheConf Apex API Blueprint APL Apollo Guidance Computer AppleScript Arc AsciiDoc ASN.1 ASP AspectJ Assembly Asymptote ATS Augeas AutoHotkey AutoIt Awk Ballerina Batchfile Befunge Bison BitBake Blade BlitzBasic BlitzMax Bluespec Boo Brainfuck Brightscript Bro C C# C++ C-ObjDump C2hs Haskell Cap'n Proto CartoCSS Ceylon Chapel Charity ChucK Cirru Clarion Clean Click CLIPS Clojure Closure Templates Cloud Firestore Security Rules CMake COBOL CoffeeScript ColdFusion ColdFusion CFC COLLADA Common Lisp Common Workflow Language Component Pascal CoNLL-U Cool Coq Cpp-ObjDump Creole Crystal CSON Csound Csound Document Csound Score CSS CSV Cuda CWeb Cycript Cython D D-ObjDump Darcs Patch Dart DataWeave desktop Diff DIGITAL Command Language DM DNS Zone Dockerfile Dogescript DTrace Dylan E Eagle Easybuild EBNF eC Ecere Projects ECL ECLiPSe Edje Data Collection edn Eiffel EJS Elixir Elm Emacs Lisp EmberScript EML EQ Erlang F# F* Factor Fancy Fantom FIGlet Font Filebench WML Filterscript fish FLUX Formatted Forth Fortran FreeMarker Frege G-code Game Maker Language GAMS GAP GCC Machine Description GDB GDScript Genie Genshi Gentoo Ebuild Gentoo Eclass Gerber Image Gettext Catalog Gherkin GLSL Glyph Glyph Bitmap Distribution Format GN Gnuplot Go Golo Gosu Grace Gradle Grammatical Framework Graph Modeling Language GraphQL Graphviz (DOT) Groovy Groovy Server Pages Hack Haml Handlebars HAProxy Harbour Haskell Haxe HCL HiveQL HLSL HTML HTML+Django HTML+ECR HTML+EEX HTML+ERB HTML+PHP HTML+Razor HTTP HXML Hy HyPhy IDL Idris IGOR Pro Inform 7 INI Inno Setup Io Ioke IRC log Isabelle Isabelle ROOT J Jasmin Java Java Properties Java Server Pages JavaScript JFlex Jison Jison Lex Jolie JSON JSON with Comments JSON5 JSONiq JSONLD Jsonnet JSX Julia Jupyter Notebook KiCad Layout KiCad Legacy Layout KiCad Schematic Kit Kotlin KRL LabVIEW Lasso Latte Lean Less Lex LFE LilyPond Limbo Linker Script Linux Kernel Module Liquid Literate Agda Literate CoffeeScript Literate Haskell LiveScript LLVM Logos Logtalk LOLCODE LookML LoomScript LSL Lua M M4 M4Sugar Makefile Mako Markdown Marko Mask Mathematica MATLAB Maven POM Max MAXScript mcfunction MediaWiki Mercury Meson Metal MiniD Mirah Modelica Modula-2 Modula-3 Module Management System Monkey Moocode MoonScript MQL4 MQL5 MTML MUF mupad Myghty NCL Nearley Nemerle nesC NetLinx NetLinx+ERB NetLogo NewLisp Nextflow Nginx Nim Ninja Nit Nix NL NSIS Nu NumPy ObjDump Objective-C Objective-C++ Objective-J OCaml Omgrofl ooc Opa Opal OpenCL OpenEdge ABL OpenRC runscript OpenSCAD OpenType Feature File Org Ox Oxygene Oz P4 Pan Papyrus Parrot Parrot Assembly Parrot Internal Representation Pascal Pawn Pep8 Perl Perl 6 PHP Pic Pickle PicoLisp PigLatin Pike PLpgSQL PLSQL Pod Pod 6 PogoScript Pony PostCSS PostScript POV-Ray SDL PowerBuilder PowerShell Processing Prolog Propeller Spin Protocol Buffer Public Key Pug Puppet Pure Data PureBasic PureScript Python Python console Python traceback q QMake QML Quake R Racket Ragel RAML Rascal Raw token data RDoc REALbasic Reason Rebol Red Redcode Regular Expression Ren'Py RenderScript reStructuredText REXX RHTML Rich Text Format Ring RMarkdown RobotFramework Roff Rouge RPC RPM Spec Ruby RUNOFF Rust Sage SaltStack SAS Sass Scala Scaml Scheme Scilab SCSS sed Self ShaderLab Shell ShellSession Shen Slash Slice Slim Smali Smalltalk Smarty SMT Solidity SourcePawn SPARQL Spline Font Database SQF SQL SQLPL Squirrel SRecode Template Stan Standard ML Stata STON Stylus SubRip Text SugarSS SuperCollider SVG Swift SystemVerilog Tcl Tcsh Tea Terra TeX Text Textile Thrift TI Program TLA TOML Turing Turtle Twig TXL Type Language TypeScript Unified Parallel C Unity3D Asset Unix Assembly Uno UnrealScript UrWeb Vala VCL Verilog VHDL Vim script Visual Basic Volt Vue Wavefront Material Wavefront Object wdl Web Ontology Language WebAssembly WebIDL Windows Registry Entries wisp World of Warcraft Addon Data X BitMap X Font Directory Index X PixMap X10 xBase XC XCompose XML Xojo XPages XProc XQuery XS XSLT Xtend Yacc YAML YANG YARA YASnippet Zephir Zig Zimpl
ProTip! Looking for recently updated SMT repositories? Try this search
You can’t perform that action at this time.