a1880

Senior-level IT consulting and software development in a leading high tech company. Special emphasis on system integration and optimizing solutions.

https://www.eon.comSpringe, Germany

Pinned Repositories

xor
Software related to PhD Thesis "Extending SAT Solver with Parity Reasoning"
Language:C++1 2 00
MatrixFlow
Matrix Tools for the computation and compilation of Fast MM algorithms
Language:C++3 2 00
bit7z
A C++ static library offering a clean and simple interface to the 7-zip shared libraries.
Language:C++654 19 180117

a1880's Repositories

a1880/xor
Software related to PhD Thesis "Extending SAT Solver with Parity Reasoning"
Language:C++1 2 00