Giters

pathawks / sudoku-smt

Exploring SMT solvers by solving Sudoku puzzles

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

smtsmtlibv2sudokusudoku-solver

This repository is not active

About

Exploring SMT solvers by solving Sudoku puzzles

smtsmtlibv2sudokusudoku-solver

Languages

Language:C 89.9%Language:Makefile 7.2%Language:Shell 2.8%