09:0709:07, 10 July 2026diffhist+2,019 N
StringsCreated page with "ProB supports the <tt>STRING</tt> data type also provided by Atelier-B. However, ProB provides considerable additional features described below. == Literals == <pre> "astring" a specific (single-line) string value '''astring''' an alternate way of writing (multi-line) strings, no need to escape " ```tstring``` template strings, where ${Expr} or $«Expr» parts are evaluated and converted to string, you can provide options separated by commas i..."
13:3113:31, 19 March 2026diffhist+1,288 N
B2ASPCreated page with "The current versions of ProB can make use the clingo ASP solver as an alternate way of solving constraints. This backend translates a subset of B formulas to SAT by encoding the formulas in ASP (Answer Set Programming) first and then using clingo to translate this to SAT and solve it. B2ASP solving consists of the following phases: * a CLP(FD) based bounds analysis to infer finite bounds for all variables, * a translation of set theory and B to ASP programs (aka Horn c..."