Alternatives and similar repositories for SAPPOROBDD:

Users that are interested in SAPPOROBDD are comparing it to the libraries listed below

• junkawahara / sbdd_helper
  One header library for SAPPOROBDD
  ☆8Updated last year
• colun / mmlang
  Competitive Programming Language MM
  ☆21Updated 7 months ago
• hakomo / Simulated-Annealing-Techniques
  焼きなまし法
  ☆110Updated 6 years ago
• kunisura / TdZdd
  A top-down/breadth-first decision diagram manipulation framework
  ☆59Updated last year
• comp-prog-jp-library-standard / competitive-programming-library
  競技プログラミング用共通ライブラリ
  ☆46Updated 2 years ago
• lapisla-prover / lapisla-prover
  lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
  ☆47Updated 3 weeks ago
• TumoiYorozu / SimpleCppEditor
  ☆60Updated 2 years ago
• hsjoihs / c-compiler
  seccamp2018 c compiler
  ☆53Updated 2 years ago
• icpc-jag / rime
  Rime: Automation Tool for Programming Contest Organizers
  ☆47Updated 7 months ago
• devreplay / devreplay
  A linter that replays your developing style
  ☆46Updated last year
• kirika-comp / articles
  ☆32Updated 6 years ago
• Runnrairu / Machine-Learning-text
  一般的な機械学習入門
  ☆138Updated 2 months ago
• cysec-lab / y2k38-checker
  Clang Static Analyzer plugin which detects the Y2K38 bug in 64bit enviroment
  ☆42Updated 7 months ago
• Nyanyan / OthelloAI_Textbook
  記事集「オセロAIの教科書」のサンプルプログラム
  ☆24Updated 2 months ago
• ciffelia / matplotlib-fontja
  install & import するだけで matplotlib を日本語表示対応させる
  ☆55Updated 2 months ago
• niuez / Niu
  Language for libraries used in competition programming
  ☆41Updated 3 years ago
• hamukazu / math_figures
  数学で使えそうな図案集です。高校から大学2年くらいまでの内容で、数学教育に役立ちそうな図を適宜追加していこうと思います。
  ☆23Updated last year
• lemolatoon / toy-shakyo
  ☆14Updated last year
• takameron / slack-dump
  Export History For Channel, Private Group and Direct Message From Slack
  ☆21Updated 2 years ago
• ShopOne / Shitforces
  くそなぞなぞコンテストサイト
  ☆27Updated last year
• ytakano / rust_zero
  ☆118Updated 6 months ago
• tbistr / texlive-full-devcontainer
  texliveがフルインストールされたdevcontainer
  ☆21Updated last year
• windows-server-2003 / quick_floyd_warshall
  Optimized Floyd-Warshall algorithm implementation
  ☆28Updated 2 years ago
• penguin-judge / PenguinJudge
  ペンギンジャッジ、よちよちでも歩いていけよ
  ☆13Updated last year
• sozysozbot / 2kmcc
  ☆28Updated 2 years ago
• missing-semester-jp / missing-semester-jp.github.io
  The Missing Semester of Your CS Education (日本語版) 📚
  ☆43Updated 2 years ago
• shun-shobon / typst-oreilly-template
  オライリー風 Typst テンプレート
  ☆108Updated 2 months ago
• Alignof / Human_C_Compiler_Contest
  HCCC -Human C Compiler Contest-
  ☆48Updated last year
• UTokyo-ICEPP / qc-workbook
  Quantum computing workbook by ICEPP
  ☆69Updated last week
• oss-gate / first-feedback-guidebook
  OSS Gateワークショップ参加者の方からよく寄せられる疑問への回答を元にした、初めてのフィードバックの手引き
  ☆89Updated last year