fangyi-zhou/sudoku-z3 fangyi-zhou/sudoku-z3

  • Stars
    star
    1
  • Language
    Python
  • License
    The Unlicense
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fangyi-zhou/sudoku-z3
github

fangyi-zhou

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Sudoku Solver with Z3

More Repositories

1

FluidTypes

Simple Refinement types for F#. No longer maintained.
F#
11
star
2

graphviz-dot-parser

Rust
7
star
3

factorio-nuclear-power

A simple calculator for factorio power plant
TypeScript
6
star
4

setup-agda-action

5
star
5

OLint

OCaml
3
star
6

KarnaughMapGenerator

A Karnaugh Map generator for sequential circuit design (with 3 D-flip-flops)
Java
3
star
7

pallvm

Pascal to LLVM compiler
OCaml
3
star
8

covid19-england

Deprecated - Please use the app provided by gov.uk at https://www.arcgis.com/apps/opsdashboard/index.html#/f94c3c90da5b4e9f9a0b19484dd4bb14
TypeScript
2
star
9

RegisterMachine

Haskell
2
star
10

mpst-in-agda

Agda
2
star
11

actions-ocaml

TypeScript
2
star
12

tex-renderer

On-demand tex rendering. Try it at http://tex.fangyi.io/render/[github-user]/[repo]/path/to/your/tex/file.tex
TypeScript
2
star
13

advent-of-code

OCaml
2
star
14

LambdaCalculus

A simple lambda calculus implementation in Haskell
Haskell
2
star
15

mpst-tracing

Go
1
star
16

advent-of-code-2022

Elixir
1
star
17

bib-downloader

Python
1
star
18

ScribbleCodeGenOCaml

OCaml
1
star
19

Trans-Legal-Cases

Summarising important legal cases about transgender rights in England and Wales
1
star
20

xbox

A box in X
C
1
star
21

fangyi-zhou.github.io

https://fangyi.io
HTML
1
star
22

mpstmacros

Macros for Multiparty Session Types
TeX
1
star