XuanxiangHuang

XuanxiangHuang's Stars

• niklasso/minisat

  A minimalistic and high-performance SAT solver

  Language:C++1k4926394

• johnyf/tool_lists

  Links to tools by subject

  37144081

• ivmai/cudd

  CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/20150215010018/http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html)

  Language:C1176565

• albertocasagrande/pyModelChecking

  A Python model checking package

  Language:Python645711

• ytZhou/JNUMasterThesis

  暨南大学硕士学位论文LaTex模板

  Language:TeX394217

• UCLA-StarAI/Density-Estimation-Datasets

  A collection of commonly used datasets as benchmarks for density estimation

  Language:Python24405

• asminer/meddly

  Multi-terminal and Edge-valued Decision Diagram LibrarY

  Language:C++14405

• utwente-fmt/buddy

  Language:C10917

• izzayacine/xpg

  A Python package for explaining graph-based classifiers

  Language:Python1301