ezSAT: Added frozen_literal() API
authorClifford Wolf <clifford@clifford.at>
Mon, 3 Mar 2014 01:13:17 +0000 (02:13 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 3 Mar 2014 01:13:17 +0000 (02:13 +0100)
commitd5bd93997c9ce7c31ef430684700a2096618672e
treea2f62a10775c5d4e19b99cfeafb187ba200c0290
parent895e9fc70cb2d45c606c64a7b12d51dc0564c005
ezSAT: Added frozen_literal() API
libs/ezsat/ezsat.cc
libs/ezsat/ezsat.h