LemmaSoftware/Lemma: Main Lemma Repository

Main Lemma Repository

tirons d80831cb0a Fixes for Mac! Compliles on OSX Clang++ now		8 yıl önce
..
examples	More cleaning up towards the port to c++-11. Documentation and consistency and better testing.	8 yıl önce
include	Fixes for Mac! Compliles on OSX Clang++ now	8 yıl önce
src	Tweak for clang and OSX	8 yıl önce
testing	testing improved, slow march	8 yıl önce
CMakeLists.txt	Looking for memory leak, not found yet.	8 yıl önce
LemmaCore.dox	Moved LemmaCore into Modules, cleaned up build process and documentation.	8 yıl önce