Pinned Repositories
ataxx-ai
The game Ataxx with AI
coursenotes
Notes taken for courses at the University of Waterloo
flint2
My development repo for work on FLINT (Fast Library for Number Theory)
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)
quartic
Source code for the quartic formula poster
simplego
A simple implementation of the game Go
curtisbright's Repositories
curtisbright/maplesat
GitHub mirror of the MapleSAT repo
curtisbright/ataxx-ai
The game Ataxx with AI
curtisbright/mathcheck2
GitHub mirror of the MathCheck repository
curtisbright/mepn-data
Computed data for the MEPN project
curtisbright/Minesweeper-X
Cross-platform version of Minesweeper (unfinished)
curtisbright/quartic
Source code for the quartic formula poster
curtisbright/CnC
Cube-and-Conquer SAT solver
curtisbright/coursenotes
Notes taken for courses at the University of Waterloo
curtisbright/flint2
My development repo for work on FLINT (Fast Library for Number Theory)
curtisbright/hnfproj
GitHub mirror of the hnfproj package by Colton Pauderis and Arne Storjohann for efficiently computing the Hermite normal form of integer matrices.
curtisbright/mepn
Programs for computing minimal elements for prime numbers
curtisbright/sample_app
Ruby on Rails Tutorial sample application
curtisbright/swinekeeper
Truffle-Swine Keeper by Hans Kopp
curtisbright/simplego
A simple implementation of the game Go
curtisbright/a2s
A collection of all A2s up to isomorphism in the search for a projective plane of order ten (weight 19 case)
curtisbright/cadical
CaDiCaL SAT Solver
curtisbright/commafree
Tools for generating and investigating commafree codes
curtisbright/cryptominisat
An advanced SAT Solver
curtisbright/drat-trim
The DRAT-trim proof checker
curtisbright/factoring-sat
Supporting scripts/data to the paper: Factoring semi-primes with (quantum) SAT-solvers
curtisbright/gratgen
GitHub repo of Peter Lammich's GRATgen: https://www21.in.tum.de/~lammich/grat
curtisbright/kissat
curtisbright/MapleCOMSPS_pure_LRB
Source code of the solver MapleCOMSPS_Pure_LRB
curtisbright/minisat
A minimalistic and high-performance SAT solver
curtisbright/oklibrary
A research platform and active library for generalised SAT solving
curtisbright/PhysicsCheck
curtisbright/randsteps
curtisbright/rsatools
Cryptanalysis tools for RSA
curtisbright/sagesat
curtisbright/sugoku
Sudoku puzzle solver and generator