Virtlink/redgreen-aterms

An ATerms library that uses red-green trees.

Java