EasySAT
A Simple CDCL Solver
Install / Use
/learn @shaowei-cai-group/EasySATREADME
EasySAT: A Simple CDCL SAT Solver
Developer: Zhihan Chen, Xindi Zhang
Homepage: https://github.com/shaowei-cai-group/EasySAT
E-Mail: zhangxd@ios.ac.cn
License: MIT
Environment: Linux with C++11
How to Build
make
How to use
./EasySAT <cnf_file>
The standard .cnf input format and the output format can be seen here
Related Skills
node-connect
349.7kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
109.7kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
349.7kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
qqbot-media
349.7kQQBot 富媒体收发能力。使用 <qqmedia> 标签，系统根据文件扩展名自动识别类型（图片/语音/视频/文件）。
