jix.one
A picture of me

Hi!

Hi, I’m Jannis, welcome to my site. I write software and sometimes build hardware.

On my projects page and blog you can see some of the things I’ve been working on.

If you’re interested in anything on this site and have comments or want to know more, feel free to contact me. You can reach me on twitter or by email.

Recent Blog Posts

Proving 50-Year-Old Sorting Networks Optimal: Part 1

Posted on May 4th 2021

Introducing the problem of minimal size sorting networks and summarizing the previous state of the art.

The Assembly Language of Satisfiability

Posted on October 3rd 2020

How SAT solvers relate to higher level tools like SMT solvers.

Varisat 0.2.0 Released

Posted on May 4th 2019

Release of my refactored CDCL based SAT solver written in Rust.

More blog posts

Projects

Proving the optimal size of 11 and 12 input sorting networks

Research project to find the optimal size of sorting networks with 11 and 12 inputs.

Flussab

Rust utilities for writing fast parsers, and parsers for some formats including DIMACS CNF.

Varisat

A CDCL based SAT solver written in Rust.

More projects