Added SatGen support for $anyconst
authorClifford Wolf <clifford@clifford.at>
Wed, 27 Jul 2016 13:52:20 +0000 (15:52 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 27 Jul 2016 13:52:20 +0000 (15:52 +0200)
commit8d88fcb27011a6f8f47a8615c30ab658fafab0f2
treebd88fec1a0e3a1928d00cbfb42a47d2d8779accd
parent9540be1d45cce45d0008a4160bc4aa70ff0dfe1d
Added SatGen support for $anyconst
kernel/satgen.h