#

equalities

Here is 1 public repository matching this topic...

Stranger2015 / PscC

Perfect super compiler Collection

driving optimizer constraints transformer specializer source-to-source abstract-interpretation inequality supercompiler disequality equalities partial-evaluator

Updated Mar 18, 2019
Prolog

Improve this page

Add a description, image, and links to the equalities topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the equalities topic, visit your repo's landing page and select "manage topics."