RTL2SAT Chuyển đổi

[khorram]

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

 

[khorram]

Ai có thể tải lên các chương trình sau đây?

Hơi: http://www.eecs.umich.edu/ ~ zandrawi / hơi / tải xuống vapor.htm #Lời chúc mừng tốt đẹp nhất,
KH