#
gsat
Here are 9 public repositories matching this topic...
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
local-search novelty sat-solver random-walk tabu-search combinatorial-optimization walksat-algorithm iterated-local-search max-sat gsat adaptive-novelty r-novelty
-
Updated
Dec 6, 2020 - Python
免費、免登入的學測英文單字地圖：100–115 真題詞頻、6,012 官方詞條、今日 20 字
-
Updated
Sep 2, 2026 - Python
DEMaxSAT is a incomplete MaxSAT solver based on Differential Evolution.
-
Updated
Jul 22, 2023 - C
學測英文備考神器｜7000單字庫 + AI寫作批改 + 錯題本 + 翻譯練習｜穩定生成17-20分高分範文
ocr-space english-learning english-vocabulary gemini-api gsat essay-writing groq-api ai-tutor mistake-book translation-practice
-
Updated
May 2, 2026 - HTML
免費開源的學測 AI 家教提示詞，一鍵裝進 Claude / Gemini。A free AI tutor prompt for Taiwan's GSAT.
-
Updated
Aug 11, 2026
Add this topic to your repo
To associate your repository with the gsat topic, visit your repo's landing page and select "manage topics."