This repository includes bakery.clpr
, which is a demonstration of
tabled resolution for model checking in CLP(R). Refer to the
blog.
This repository includes bakery.clpr
, which is a demonstration of
tabled resolution for model checking in CLP(R). Refer to the
blog.