#

affine-arithmetic

Here are 2 public repositories matching this topic...

tukcps / AADD

This repository holds the Affine Arithmetic Decision Diagrams library

symbolic-execution systemc bdd-framework affine-arithmetic

Updated Jun 3, 2019
C++

foolnotion / aaflib

Fork of http://aaflib.sourceforge.net/ with cmake support.

affine-arithmetic cmake-support

Updated Sep 19, 2020
C++

Improve this page

Add a description, image, and links to the affine-arithmetic 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 affine-arithmetic topic, visit your repo's landing page and select "manage topics."