Lot can solve send+more=money 
* More humane syntax coming soonpic.twitter.com/NN2LZMeebJ
-
@cr1901 Not really. It's SMT-LIB2 http://smtlib.cs.uiowa.edu/ -- An S-expression based (mostly) declarative language for SMT problems.
@cr1901 It is used for example as back-end language in yosys-smtbmc, one of the formal verification flows in Yosys.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.