smt2utils

smt2utils copied to clipboard

[smt2model] initial commit

2

An experimental tool to transform SMT2 files into suitable formats for "language modeling" with machine learning

ma2bd

Hi, We've just found a bug in your parser related to the get-value command. The SMT-LIB syntax for get-value is ``` (get-value ( + )) ``` (cf. SMT-LIB 2.6 page...

BrunoDutertre

It should not be too hard to add support for theory and logic definitions. Two options: 1) add callbacks for "fake" commands: `(theory ..)` and `(logic ..)` 2) modify the...

ma2bd

Hi, I wanted to take a crack at getting theory parsing working to fix https://github.com/facebookincubator/smt2utils/issues/15. Before I went to the trouble of implementing all the parser rules and concrete syntax...

djrenren