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 4 months ago
• hakomo / Simulated-Annealing-Techniques
  焼きなまし法
  ☆108Updated 6 years ago
• Jij-Inc / ommx
  Open standard for mathematical programming interoperability
  ☆34Updated this week
• TumoiYorozu / SimpleCppEditor
  ☆57Updated 2 years ago
• kunisura / TdZdd
  A top-down/breadth-first decision diagram manipulation framework
  ☆56Updated last year
• kirika-comp / articles
  ☆32Updated 6 years ago
• comp-prog-jp-library-standard / competitive-programming-library
  競技プログラミング用共通ライブラリ
  ☆46Updated 2 years ago
• kopricky / My-Algorithm
  ☆30Updated 2 years ago
• noshi91 / algorithm-encyclopedia
  ☆75Updated last year
• terry-u16 / pahcer
  A tool to run tests for AtCoder Heuristic Contest (AHC)
  ☆48Updated 2 weeks ago
• icpc-jag / rime
  Rime: Automation Tool for Programming Contest Organizers
  ☆46Updated 4 months ago
• tanakamura / pllp
  ☆63Updated last year
• iilj / yukicoder-problems
  Problem manager for yukicoder users
  ☆16Updated last year
• asciidwango / parser_book
  アスキードワンゴで出版予定の構文解析本に関するリポジトリ
  ☆116Updated this week
• hamukazu / math_figures
  数学で使えそうな図案集です。高校から大学2年くらいまでの内容で、数学教育に役立ちそうな図を適宜追加していこうと思います。
  ☆21Updated last year
• p1ass / mdtopdf
  🐳 Pandoc docker image for converting markdown to PDF using TeX typesetting
  ☆195Updated 4 years ago
• takameron / slack-dump
  Export History For Channel, Private Group and Direct Message From Slack
  ☆21Updated 2 years ago
• Runnrairu / Machine-Learning-text
  一般的な機械学習入門
  ☆128Updated last year
• ytakano / rust_zero
  ☆111Updated 3 months ago
• TumoiYorozu / single-file-ac-library
  ACL(ac-library) merged into a single file. https://atcoder.jp/posts/517
  ☆42Updated 4 years ago
• AtCoder-NoviSteps / AtCoderNoviSteps
  【非公式】 AtCoder 上の問題について、取組み状況を記録していくサイトです。各問題が細かく難易度付けされており、必要な知識を段階的に習得できます。
  ☆40Updated this week
• niuez / Niu
  Language for libraries used in competition programming
  ☆41Updated 2 years ago
• key-moon / ac-predictor
  AtCoderのパフォーマンス予測を行います
  ☆59Updated this week
• ShopOne / Shitforces
  くそなぞなぞコンテストサイト
  ☆27Updated last year
• junkawahara / frontier
  frontier method
  ☆21Updated 4 years ago
• monkukui / ac-library-go
  go によるアルゴリズムライブラリ
  ☆32Updated 3 years ago
• White-Green / kirl-lang
  An experimental project for statically typed scripting language.
  ☆62Updated 3 years ago
• recuraki / cphb-ja
  (JA)Competitive Programmer's Handbook
  ☆158Updated last year
• rsk0315 / AtCoderScores
  AtCoder の問題を点数ごとに分けるやつです
  ☆9Updated 6 years ago