Finished adding the most basic static operators for bit vectors.
Removed some extra pieces of the constraint solver.
Cleaned up some of the static functions provided by the solver. Revised some old examples and organized the code that supports them.
Removing old file
Finished adding supporting files for users to utilize bitvectors.
Finished adding basic support for fixed width bit vectors of varying sizes. Added a simple example that checks integers for being a power of 2.
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