GNU emacs frontend to the SaT project

README.md 197B

sententia

GNU emacs frontend to the SaT project

Contribution

Sententia is tested using ecukes. If you want to contribute code, please provide us with test cases covering your contribution.