satgen import sigbit api
authorClifford Wolf <clifford@clifford.at>
Fri, 3 Oct 2014 16:51:50 +0000 (18:51 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 3 Oct 2014 16:51:50 +0000 (18:51 +0200)
commit56c1d4340842cd0029778a986cd1eed29c146192
treecab4fac88817a27604038cc07c382d3e5479bd3b
parent3e4b0cac8dc1f443bbd43030f1ce151b41555d97
satgen import sigbit api
kernel/satgen.h