This is a clean-room implementation of the Fish shell's history search feature, where you can type in any part of any command from history and then press chosen keys, such as the UP and DOWN arrows, ...
Before he became one of the biggest stars in bluegrass and country music, Billy Strings grew up in Muir, a small community located between Lansing and Grand Rapids. The Grammy Award-winning artist is ...
(set-logic QF_S) (declare-fun a () String) (assert (= (str.substr (str.++ a a "0") 0 6) (str.++ a "a"))) (check-sat) (get-model) Here's the behavior > z3 bug.smt2 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results