N Queens Sat

Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.
Alternatives To N Queens Sat
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Generator Test15434 years ago9July 26, 2015mitJavaScript
A yeoman generator to help you get started with unit tests
Interviews151
3 years ago4mit
A list of fancy questions I've been asked during the interviews I had. Some of them I ask when interviewing people.
Febrero Roman Numerals86
9 years ago14JavaScript
Kata del mes de Febrero del 2011: Roman Numerals
Algorithms Stanford56
3 years agon,ullPython
This repo holds my solutions (in python) for the programming assignments of the Coursera course Algorithms - Design and Analysis (Stanford)
Clean Code35
2 years agomitJava
Algos And Data Structures32
7 years agoJavaScript
Collection of Test Specs and Implementation of various algorithms and data structures from the Princeton Coursera course: Intro to Algorithms part 1 and 2
Javascript Data Structures And Algorithms24
3 years ago2JavaScript
Exercises, algorithms
Self_taught_programming20
2 months agomit
База знаний по изучению программирования. Преимущественно на русском языке.
Openstreetmap License Change19
6 years ago4Ruby
Algorithm for OpenStreetMap ODbL transition.
Js Test12
4 years agomitJavaScript
tests for javascript developers
Alternatives To N Queens Sat
Select To Compare


Alternative Project Comparisons
Popular Algorithms Projects
Popular Test Driven Development Projects
Popular Computer Science Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Rust
Algorithms
Test Driven Development
Sat Solver