hervegirod / aterms Goto Github PK
View Code? Open in Web Editor NEWThis project forked from cwi-swat/aterms
The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in C).