Can't generate clauses with repeated literals
Moving example inputs to a separate dir
Merge branch 'master' of github.com:flaviocdc/gsat-js
Making gsat also use formula.js
adding .d8_history to gitignore