Avatar for Liam Davis from gravatar.com

Liam Davis

Username    liamjdavis
Date joined   Joined

4 projects

pystalmarck

Last released

Python bindings for StalmarckSAT - A SAT solver based on Stålmarck's method

MatPlus

Last released

This package is for easy, convenient plotting in Python.

ConvexTrader

Last released

A collection of SAT and SMT solvers for solving Sudoku puzzles

sudoku-smt-solvers

Last released

A collection of SAT and SMT solvers for solving Sudoku puzzles

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page