Skip to content
View prateekkumarweb's full-sized avatar
:octocat:
Developing
:octocat:
Developing
50 followers · 18 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@nvision-2017
Block or Report

Block or report prateekkumarweb

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
prateekkumarweb/README.md

Hi there 👋

Pinned Loading

  1. sbjoshi/Open-WBO-Inc sbjoshi/Open-WBO-Inc Public

    An incomplete MaxSAT solver for weighted MaxSAT problems

    C++ 5 2

  2. vbsinha/autojudge vbsinha/autojudge Public

    Programming Judge

    Python 12 2

  3. sukrutrao/Timetabler sukrutrao/Timetabler Public

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

    C++ 38 9

  4. HugoBlox/hugo-blox-builder HugoBlox/hugo-blox-builder Public

    🚨 GROW YOUR AUDIENCE WITH HUGOBLOX! 🚀 HugoBlox is an easy, fast no-code website builder for researchers, entrepreneurs, data scientists, and developers. Build stunning sites in minutes. 适合研究人员、企业家、…

    HTML 8k 2.9k

  5. sudoku-wasm sudoku-wasm Public archive

    Sudoku solver using WebAssembly.

    HTML 1

  6. solhop/solhop solhop/solhop Public archive

    SAT and MaxSAT Solver

    Rust