/sine-presburger

Computations and visualizations for Presburger arithmetic extended by the sine function.

Primary LanguageJupyter Notebook

No issues in this repository yet.