None of this should be new. Satisfiability of SAT instances is well-known to be NP-complete [CookCook1971], and the language is a reasonably natural one for encoding real-world problems. As we ...

parsing search queries serializing parsed queries searching JSON documents using the Liqe query language (LQL) Note that the Liqe AST is treated as a public API, i.e., one could implement their own ...