jacky860226 / JinkelaSatLinks
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
☆11Updated 4 years ago
Alternatives and similar repositories for JinkelaSat
Users that are interested in JinkelaSat are comparing it to the libraries listed below
Sorting:
- Bottom Up Computer Science☆15Updated 7 years ago
- ☆12Updated 7 years ago
- Minimal tool for measuring cost of mode switch☆15Updated 4 years ago
- An Android app for browsing NCTU e3 systems.☆21Updated 4 years ago
- Numerical Software Development☆88Updated 4 years ago
- ☆10Updated 4 years ago
- Small ray tracing program for performance evaluation☆11Updated 8 years ago
- Non-official Chinese translation of https://www.sigbus.info/compilerbook☆51Updated 5 years ago
- The exercise for the user level thread programming☆14Updated 5 years ago
- A simple weather display with a cute interactive desktop pet (❛◡❛✿)☆14Updated 3 years ago
- Traditional Chinese translation of "What Every Programmer Should Know About Memory"☆327Updated last year
- 從 C 語言到 RISCV 處理器☆23Updated 6 years ago
- 好坑,不跳嗎 - MozTW 好坑指引☆15Updated 9 years ago
- 陳鍾誠的軟體工程課程 -- 107 學年上學期☆11Updated 7 years ago
- A minimalist lossless data compressor☆47Updated 4 years ago
- 中正大學,資工系,羅習五,系統程式設計課程☆72Updated 8 months ago
- 實作《自己動手寫CPU》書上的程式碼☆66Updated 7 years ago
- An implementation of tic-tac-toe in C, featuring AI agents☆36Updated 8 months ago
- Materials for my parallel programming course☆36Updated 3 years ago
- A column introduce and explain modern C++ features.☆172Updated 2 months ago
- schedule and materials about my presentations☆362Updated 5 months ago
- A red-black tree implementation☆40Updated 2 months ago
- A 3D FPGA GPU for real-time rasterization with a tile-based deferred rendering (TBDR) architecture, featuring transform & lighting (T&L),…☆249Updated 11 months ago
- DSnP Open Source Repository☆165Updated 4 months ago
- ☆28Updated 5 years ago
- An efficient and portable Game Boy emulator☆36Updated last year
- ☆21Updated 3 years ago
- 🚀 AwesomeCS is the document lets you know how to build your own OS on RISC-V platform.☆100Updated 3 years ago
- An projection glass that display realtime crypto price using Seeed Studio XIAO ESP32C3.☆18Updated 4 months ago
- Concurrency Primer☆98Updated 5 months ago