Initial Structure of Project

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
Add templates for both Value and Variable types

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
Adding common definitions and data structures

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
Some typo fixes...
Adding forgotten files.

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
* New TODO
* Serialization interface
* Implementation docs

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
* Typo fixes
* Resolving type errors to make source compilable

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
* Rewriting networking code
* Templates modified

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
* Symlink and Typo fixes
* Removing symlinked files

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
* Re-add mislinked files

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
* Meaningful names
* Add -pipe to compiler flags

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
* Add ABT Monitor

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
adding aabt-solver.hpp
* Remove TODO
* Correct build system and pkgconfig

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
* Replace Boost with Protocol Buffers
* Integrating ZMQ and GPB
* Logging and some other modifications added

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
* Replace Boost with Protocol Buffers
* Integrating ZMQ and GPB
* Adding forgotten files, Logging and some other modifications added

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
Merge branch 'pb'
* Redesign protocols

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
* Getting rid of templates

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>
* Redesign, Reimplement

Signed-off-by: Soroush Rabiei <soroush-r@users.sf.net>