gsat

There are 5 repositories under gsat topic.

  • Sea-n/gsat

    自 108 年開始，學測最多參採四科，學測五選四網站受到全台師生廣大好評迴響，到了 109 學年度繼續更新資料，旨在提供學弟妹們好用的查詢介面，來看看您心目中的科系用了何種組合，該將準備心力放在哪些考科最有利

    Language:HTML364010

  • thtran97/Local-Search-for-SAT

    Implementation of local search-based algorithms for solving SAT and Max-SAT in Python

    Language:Python13213

  • jason810496/111-GSAT-Academic-Porfolio

    111學測 資工APCS組 書審資料

    6100

  • Manuframil/DEMaxSatSolver

    DEMaxSAT is a incomplete MaxSAT solver based on Differential Evolution.

    Language:C3210

  • djorkaeffalexandre/PSPD

    Boolean Constraint Propagator

    Language:C++0300