gsat

There are 0 repository under gsat topic.

• Sea-n / gsat

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

  gsattaiwan
  Language:HTML 36

• thtran97 / Local-Search-for-SAT

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

  walksat-algorithmlocal-searchgsatsat-solvermax-sattabu-searchrandom-walkadaptive-noveltynoveltyr-noveltyiterated-local-searchcombinatorial-optimization
  Language:Python 12

• jason810496 / 111-GSAT-Academic-Porfolio

  111學測 資工APCS組 書審資料

  apcsgsatcsnckunctuncunthu111-gsatacademic-porfolio
  5

• Manuframil / DEMaxSatSolver

  DEMaxSAT is a incomplete MaxSAT solver based on Differential Evolution.

  differential-evolutionmaxsatmaxsat-solvergsatrandomwalk
  Language:C 3

• djorkaeffalexandre / PSPD

  Boolean Constraint Propagator

  gsatbcppspd
  Language:C++ 0