Sjlver

GitHub Flavored Markdown

int main() {
  return 0;
}

Here we go!

Sjlver

Keybase proof

I hereby claim:

• I am sjlver on github.
• I am sjlver (https://keybase.io/sjlver) on keybase.
• I have a public key ASDtSbtZHStAEI77LhNNiGjR8M-UcmZvTV5bDIMk4X2KDwo

To claim this, I am signing this object:

Sjlver

#!/usr/bin/env python3

"""
Uses the Z3 constraint solver to find projective planes.

Usage:
- Create a venv. Install Z3 with Python extensions
- Ipython:

      %run projective_planes.py

Sjlver

#!/bin/bash

# onlykey-u2f-setup.sh: Helps setting up U2F for OnlyKey.

# Copyright (c) 2016, Jonas Wagner <ltlygwayh@gmail.com>
# All rights reserved.
# 
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions are met:
#