Updating: improving libats/stringbuf
Updating: adding some ATS-learning files.
Updating: miscellaneous changes
Updating: improving libats-hwxi/cstream
Updating: improving libats-hwxi/cstream
Updating: adding doc for libats-hwxi/cstream
Updating: miscellaneous
Updating: adding libats/ATS1/funheap_binomial
Updating: adding libats/ATS1/funmset_listord
Updating: improving libats/ATS1
Updating: improving libats/ATS1/funmset_listord
Updating: for the release of ATS2-0.0.5
Upating: fixing versioning glitch
Updating: LGPLv2.1 -> GPLv3
Updating: LGPLv2.1 -> GPLv3
Changed s2exp normilization to ignore s2var when exporting constraints. The reasoning behind this is that when we replace s2var's with expressions they represent, the SMT solver is unable to understand equality between two static variables.
Adding in Z3 interface from Anairiats
Used ATS2 conventions for function signatures
Added a small solving file that builds off of constraint and parsing
Added a generic solver component that any SMT solver may be used internally.