tom-tan/azucar-solver
Azucar: a SAT-based CSP solver based on compact order encoding
This library adds LatexMk support to AUCTeX.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Azucar: a SAT-based CSP solver based on compact order encoding
This library extends linum-mode to highlight current line number.
Cosmos is a tetris like game written in D programming language
This library adds some help features for Eshell