adding cbc based refinement checks to the rodin ui, still missing work on the prolog side + some missing details
working on cbc refinement checks, reworking command send to prob
Merge branch 'develop' of github.com:bendisposto/prob into feature/cbc_refinement
adding cbc based refinement checks to the rodin ui, still missing work on the prolog side + some missing details
working on cbc refinement checks, reworking command send to prob
Merge branch 'feature/cbc_refinement' of github.com:bendisposto/prob into feature/cbc_refinement
add refinement checking button to animation / model checking ui
Merge branch 'develop' into feature/cbc_refinement
if the symbolic attribute exists, check if it is set on a particular constant
if the symbolic attribute exists, check if it is set on a particular constant
Merge branch 'develop' into feature/cbc_refinement
improve output of cbc refinement error message
remove old comment
Merge branch 'feature/cbc_refinement' into develop
remove debug output
Merge branch 'develop' into feature/disprover