> if you're good at phrasing your problem in the right way Check out https://sen...

		bjackman on May 5, 2021 \| parent \| context \| favorite \| on: Z3 Tutorial > if you're good at phrasing your problem in the right way Check out https://sentient-lang.org/, it's a whole programming language for expressing problems as SAT!