K
khorram
Guest
Chào,
Tôi đang tìm kiếm một chương trình có thể chuyển đổi mã để từ RTL-SAT (áp dụng cho đến SMT solver) hoặc CNF.Bất kỳ ý kiến hay đề nghị sẽ được đánh giá cao.
Lời chúc mừng tốt đẹp nhất,
KH
Tôi đang tìm kiếm một chương trình có thể chuyển đổi mã để từ RTL-SAT (áp dụng cho đến SMT solver) hoặc CNF.Bất kỳ ý kiến hay đề nghị sẽ được đánh giá cao.
Lời chúc mừng tốt đẹp nhất,
KH