SymbolicSAT.jl icon indicating copy to clipboard operation
SymbolicSAT.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaSymbolics

SymbolicSMT?

Open dpsanders opened this issue 4 years ago • 0 comments

Shouldn't this be called SymbolicSMT?

Looks cool though ;)

dpsanders avatar Dec 19 '20 17:12 dpsanders