curtisbright Goto Github PK

a2s

A collection of all A2s up to isomorphism in the search for a projective plane of order ten (weight 19 case)

ataxx-ai

The game Ataxx with AI

cadical

CaDiCaL SAT Solver

cnc

Cube-and-Conquer SAT solver

commafree

Tools for generating and investigating commafree codes

coursenotes

Notes taken for courses at the University of Waterloo

cryptominisat

An advanced SAT Solver

demo_app

Ruby on Rails Tutorial demo application

drat-trim

The DRAT-trim proof checker

factoring-sat

Supporting scripts/data to the paper: Factoring semi-primes with (quantum) SAT-solvers

first_app

The first app for Ruby on Rails Tutorial

flint1.6

flint2

My development repo for work on FLINT (Fast Library for Number Theory)

gratgen

GitHub repo of Peter Lammich's GRATgen: https://www21.in.tum.de/~lammich/grat

hnfproj

GitHub mirror of the hnfproj package by Colton Pauderis and Arne Storjohann for efficiently computing the Hermite normal form of integer matrices.

kissat

maplecomsps_pure_lrb

Source code of the solver MapleCOMSPS_Pure_LRB

maplesat

GitHub mirror of the MapleSAT repo

mathcheck2

GitHub mirror of the MathCheck repository

mepn

Programs for computing minimal elements for prime numbers

mepn-data

Computed data for the MEPN project

minesweeper-x

Cross-platform version of Minesweeper (unfinished)

minisat

A minimalistic and high-performance SAT solver

oklibrary

A research platform and active library for generalised SAT solving

physicscheck

quartic

Source code for the quartic formula poster

randsteps

rsatools

Cryptanalysis tools for RSA

sagesat

sample_app

Ruby on Rails Tutorial sample application