4 commits

Author	SHA1	Message	Date
Vsevolod Stakhov	e47d455f34	- Update to 2.1.4	2014-01-10 13:33:13 +00:00
Vsevolod Stakhov	5887dd9a4d	- Unbreak with clang and new C++ world. ... - Support staging. - Strip binary by using INSTALL_PROGRAM instead of INSTALL.	2013-11-01 15:53:37 +00:00
Baptiste Daroussin	ce5e457020	Add NO_STAGE all over the place in preparation for the staging support (cat: math)	2013-09-20 20:55:04 +00:00
Vsevolod Stakhov	fc0535e09b	Add clasp - an answer set solver for (extended) normal logic programs.	2013-09-19 14:14:54 +00:00