Giters
Axel Kemper (a1880)

a1880

Geek Repo

2

followers

0

following

9

stars

Company:https://www.eon.com

Location:Springe, Germany

Home Page:https://www.linkedin.com/in/axel-kemper-b4757996/

Github PK Tool:Github PK Tool

Axel Kemper's repositories

xor

Software related to PhD Thesis "Extending SAT Solver with Parity Reasoning"

Language:C++License:GPL-3.0Stargazers:1Issues:2Issues:0