AIToolbox
A library that offers tools for AI problem solving.
value :
AIToolbox::POMDP::is_witness_lp< LP >