Chủ đề · smt

smt

Các kho mã nguồn mở đang theo dõi được gắn thẻ smt, sắp xếp theo số sao.

Kho mã

9

Tổng số sao

10.082

Số sao trung bình

1.120

Tỷ trọng

0,00%

Những chủ đề thường xuất hiện cùng smt trên cùng một kho mã.

Mới nổi gần đây

Các kho mã tạo trong 90 ngày qua và được gắn thẻ smt.

Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.

#1
FStar ↗@FStarLangF*
Một ngôn ngữ lập trình hướng chứng minh
★ 3.103+4Thay đổi số sao trong 7 ngày qua
#2
liquidhaskell ↗@ucsd-progsysHaskell
Liquid Types cho Haskell
★ 1.334+1Thay đổi số sao trong 7 ngày qua
#3
py2many ↗@py2manyPython
Trình biên dịch mã nguồn Python sang nhiều ngôn ngữ khác
★ 1.308+0Thay đổi số sao trong 7 ngày qua
#4
alive2 ↗@AliveToolkitC++
Xác minh tự động các tối ưu hóa LLVM.
★ 1.163+2Thay đổi số sao trong 7 ngày qua
#5
jlcparts ↗@yaqwsxPython
Tìm kiếm tham số tốt hơn cho các linh kiện có sẵn để lắp ráp PCB tại JLC
★ 823+6Thay đổi số sao trong 7 ngày qua
#6
pysmt ↗@pysmtPython
pySMT: Thư viện để thao tác và giải các công thức SMT
★ 638+0Thay đổi số sao trong 7 ngày qua
#7
apalache ↗@apalache-mcScala
APALACHE: công cụ kiểm tra mô hình biểu tượng cho TLA+ và Quint
★ 596+3Thay đổi số sao trong 7 ngày qua
#8
stp ↗@stpC++
Simple Theorem Prover, một trình giải SMT hiệu quả cho bitvector, dấu phẩy động và mảng.
★ 588+1Thay đổi số sao trong 7 ngày qua
#9
z3.rs ↗@prove-rsRust
Rust bindings cho Z3 solver.
★ 533+1Thay đổi số sao trong 7 ngày qua

← Quay lại danh sách chủ đề