diff options
| author | Sunil Shetye | 2018-07-15 00:26:52 +0530 |
|---|---|---|
| committer | Sunil Shetye | 2018-07-15 07:11:58 +0530 |
| commit | 92f8a251bbaeddf6ec034722a3079d865517d650 (patch) | |
| tree | fb1b9f51c3456c04c02ac3ab144b65bdd392e98b /js/NonLinear/SAT_f.pickle | |
| parent | c394c9628cd411c95def024d47f10d953e160ec5 (diff) | |
| download | sci2js-92f8a251bbaeddf6ec034722a3079d865517d650.tar.gz sci2js-92f8a251bbaeddf6ec034722a3079d865517d650.tar.bz2 sci2js-92f8a251bbaeddf6ec034722a3079d865517d650.zip | |
handle boolean differently
Diffstat (limited to 'js/NonLinear/SAT_f.pickle')
| -rw-r--r-- | js/NonLinear/SAT_f.pickle | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/js/NonLinear/SAT_f.pickle b/js/NonLinear/SAT_f.pickle index ed5199b1..f64e4f77 100644 --- a/js/NonLinear/SAT_f.pickle +++ b/js/NonLinear/SAT_f.pickle @@ -78,19 +78,20 @@ S'string' p23 sS'model.dep_ut' p24 -g13 -sS'exprs' +S'vector_boolean' p25 +sS'exprs' +p26 g7 sS'gr_i' -p26 +p27 g13 sS'y' -p27 +p28 g13 sS'x' -p28 -NsS'model' p29 +NsS'model' +p30 g4 s.
\ No newline at end of file |