praveenkulkarni1996/slitherlinky praveenkulkarni1996/slitherlinky

  • Stars
    star
    5
  • Rank 2,846,333 (Top 57 %)
  • Language
    Python
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
praveenkulkarni1996/slitherlinky
github

praveenkulkarni1996

Reviews

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

Repository Details

A solver for Slitherlinky (also called Loop-the-Loop) that uses SAT.

More Repositories

1

average-competitive-programming

The best competitive programming tutorials on codeforces for those who are not awesome yet.
C++
69
star
2

awesome-program-synthesis

An curated list of papers on program synthesis.
64
star
3

taktics

A solver for the game of Tak as described in Patrick Rothfuss's Kingkiller Chronicles.
Python
7
star
4

yifysub

YIFY subtitles downloader in python
2
star
5

ruzzler

Game assistant to find all words in a 4x4 alphabet grid.
Python
2
star
6

sml-biginteger-library

This is a big integer library for SML that uses boolean lists underneath.
Standard ML
2
star
7

project-euler

my Project Euler solutions
C++
2
star
8

calamander

A calendar module (WIP)
Python
1
star
9

spoj

My SPOJ solutions
C++
1
star
10

python_talks

A (what should become a) comprehensive list of python talks
1
star
11

kickstarts

Solutions to Google Kickstarts
C++
1
star
12

glamdring

C++
1
star
13

pied-piper

VHDL
1
star
14

praveenkulkarni1996.github.io

Public Website for Praveen
HTML
1
star
15

codeforcing

Codeforces solutions in preparation for ICPC '17
C++
1
star
16

prisoners

This is (or will be) a module where you can run simulations of the Prisoners' dilemma games.
Python
1
star
17

HUL261-psychology

Notes for HUL261 taught at IIT Delhi in Spring 2018
1
star
18

intro-to-cs-ocaml

TA solutions to Introduction to Computer Science, COL100M, IIT Delhi, Spring 2018.
OCaml
1
star