Pinned Loading

2. An incomplete MaxSAT solver for weighted MaxSAT problems

   C++ 5 2

3. Programming Judge

   Python 12 2

4. A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

   C++ 41 10

5. ⚡ The Open Research Copilot. Build high-perf Portfolios, Lab Sites & Docs in Markdown + Jupyter. 100% Data Control. 🦫 数据科学家的开源 Copilot。一键部署 👇

   HTML 9.9k 2.9k

6. Advent of Code Solutions

   Rust