sat-solvers

5ısı

2cevap

SMT Z3 usecases (DbC gibi) ve Z3'e açık kaynak alternatifi için pratik örnekler mi arıyorsunuz?

SMT Z3 kullanımının pratik örnekleri (DbC gibi) ile bu araç için kod ve açık kaynak alternatifleri ile ilgileniyorum. Yani, aslında, ben benzer Z3 resmi çözme araçları ilgileniyorum, ama: açık kaynak

.net constraint-programming sat-solvers z3 2011-01-06

---