liborw/sudoku2sat liborw/sudoku2sat

  • Stars
    star
    1
  • Language
    Python
  • Created over 13 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
liborw/sudoku2sat
github

liborw

Reviews

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

Repository Details

Sudoku to SAT conversion

More Repositories

1

equals

Equals!
Python
7
star
2

stroop

Stroop test
MATLAB
6
star
3

homesick-completion

Bash completion for homesick
Shell
4
star
4

kravy

An python implementation of 6 nimmt game.
Python
3
star
5

osxscripts

Collection of OSX shell scripts
Shell
2
star
6

rrgen

Railway Rivals map generator
Haskell
2
star
7

project-templates

Various template project
1
star
8

tog

Tog: The time log
Haskell
1
star
9

homebrew-tap

Homebrew formula repository
Ruby
1
star
10

oris

Python implementation of the ORIS API (http://oris.orientacnisporty.cz)
Python
1
star
11

rail2tptp

Rail station to TPTP convertor (a4m33au)
Python
1
star
12

satpy

SAT solver in Python
1
star
13

liborw.github.com

Source for personal github page.
HTML
1
star
14

plres

Resolution for Propositional Logic (a4m33au)
Python
1
star
15

replsend.nvim

Neovim plugin that send stuff into REPL
Lua
1
star
16

dotfiles

Vim Script
1
star
17

peek

Peek into your project
Shell
1
star
18

binfiles

Scripts and tools that live in ~/bin
Shell
1
star
19

liborw

JavaScript
1
star
20

cald

Python
1
star