https://devblogy.k47.cz/random/tag/jix-one.html https://jix.one/proving-50-year-old-sorting-networks-optimal-part-2/Wed, 1 Sep 2021 15:51:38 +0200jix.one https://jix.one/proving-50-year-old-sorting-networks-optimal-part-1/Tue, 4 May 2021 15:14:11 +0200jix.one https://jix.one/the-assembly-language-of-satisfiability/Sat, 3 Oct 2020 17:20:47 +0200jix.one https://jix.one/varisat-0.2.0-released/Sat, 4 May 2019 12:15:51 +0200jix.one https://jix.one/refactoring-varisat-5-incremental-solving-and-proofs/Fri, 26 Apr 2019 16:12:54 +0200jix.one https://jix.one/refactoring-varisat-4-heuristics/Thu, 21 Mar 2019 11:46:30 +0100jix.one https://jix.one/refactoring-varisat-3-cdcl/Mon, 18 Mar 2019 20:00:53 +0100jix.one https://jix.one/refactoring-varisat-2-clause-storage-and-unit-propagation/Sat, 2 Mar 2019 18:18:04 +0100jix.one https://jix.one/refactoring-varisat-1-basics-and-parsing/Sun, 3 Feb 2019 17:37:42 +0100jix.one https://jix.one/introducing-partial_ref/Mon, 24 Dec 2018 14:07:10 +0100jix.one