lakshayg / sudoku
Solving sudoku as a SAT problem
☆22Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for sudoku
- 🔄 Flexible C memory allocation scheme☆77Updated 7 months ago
- 👢 Cross platform dependency manager for developers☆38Updated 6 years ago
- Cross Platform UNIX commands & System Calls☆119Updated 8 years ago
- Toy virtual machine☆13Updated 9 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 9 years ago
- ☆18Updated 6 years ago
- Minimalistic C/C++ Build Tool☆8Updated 5 years ago
- modserver is an HTTP/1.1 application server.☆43Updated 6 years ago
- Wiki:☆27Updated 8 years ago
- Profile what you care, monitor how it goes (support C/C++)☆92Updated 7 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 9 years ago
- A library for standard containers and their associated algorithms.☆12Updated 3 years ago
- An Open Source C++ Opengl engine utilizing the capabilities of Box2D.☆15Updated 9 years ago
- Rendering bitmaps using nodes. Inspired by Blender's Nodes.☆63Updated 5 years ago
- rcor C compiler (under development)☆115Updated 7 years ago
- Software Development Platform for ARM / Android terminals☆39Updated 8 years ago
- C++11 Server framework provides many exciting features!☆53Updated 9 years ago
- C API for creation and analysis of binary data☆21Updated 7 years ago
- Javascript Nintendo Emulator with achievements☆22Updated 7 years ago
- A little Chip-8 emulator☆16Updated 7 years ago
- fundamental tools in the spirit of C☆59Updated 4 years ago
- C++14 high performance non-blocking network IO (based on epoll + boost.context)☆135Updated 6 years ago