search

mpelleau / AbSolute

Constraint solver based on abstract domains
GNU Lesser General Public License v3.0
30 stars 7 forks source link

documentation of the code #4

Closed ptal closed 6 years ago

ptal commented 6 years ago

I documented some functions as I was reading the code.