Overhauling a lot of the constraint solver to make it more accessible.
Adding the beginning of an interface to work with binary files through ATS.
Removed sats files from dynload, added simple wrapper around Python C API, added in a routine that embeds Python into the constraint solver.
Have a basic Python scripting mechanism working for stampseq
Small change
Revised the Stampseq Interpretations.
Finished adding support for handling Python exceptions.
Finished adding support for handling Python exceptions.
Cleaned up the stampseq SMT examples.
Starting to sketch out evaluating user defined macros given in Python scripts.
Renamed project folder to patsolve, added macro evaluation.
Implemented macro evaluation
Small changes
Finished second bitvec example
Added a couple more interesting examples.
Added a couple more interesting examples.
Small changes
Added an example of setting or clearing bits depending on the value of a boolean flag.
Small formatting adjustments
Encoded Brian Kernighan's counting bits set routine into ATS.