Lot can solve send+more=money 
* More humane syntax coming soonpic.twitter.com/NN2LZMeebJ
.@esad I need a small nice example for SMT-LIB2 for my FOSDEM slides. Might as well solve send+more=money:pic.twitter.com/eG9sAchYIS
-
-
@oe1cxw What is this, typesafe Lisp XD? -
@cr1901 Not really. It's SMT-LIB2 http://smtlib.cs.uiowa.edu/ -- An S-expression based (mostly) declarative language for SMT problems. - Show replies
New conversation -
-
-
@oe1cxw Too bad I won't be at FOSDEM this year... :(Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@oe1cxw Cool! My spreadsheet uses SMT2 -> z3 internally, but the idea was to abstract it and let user program with spreadsheet-like formulasThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.