Bahasa Pemrograman · SMT
SMT
Repositori open source terpantau dengan SMT sebagai bahasa utama, diurutkan berdasarkan bintang.
2 repositori
- #1Adafruit_CAD_Parts@adafruit
Berkas CAD untuk berbagai papan, komponen, dan Suku cadang
★ 1.389+5Perubahan bintang dalam 7 hari terakhir - #2cvc5@cvc5
cvc5 adalah pembukti teorema otomatis sumber terbuka untuk masalah Satisfiability Modulo Theories (SMT).
★ 1.357+2Perubahan bintang dalam 7 hari terakhir
