4 ms·
What problem domain are you working in? I find usage of solvers and Prolog to be very domain specific.
by Karrot_Kream 2y ago
What problem domain are you working in? I find usage of solvers and Prolog to be very domain specific.
- quesomaster9000 2y agoAt the moment I'm verifying a Rust floating point implementation, which has lead to many small snippets for not just generating test & edge cases (e.g. find inputs which falls outside of these conditions), but trying to prove completeness on all valid inputs.