Jun Kawahara's repositories
frontier-basic
フロンティア法の実装例
sbdd_helper
One header library for SAPPOROBDD
frontier_basic_tdzdd
An example implementation of the frontier-based search using TdZdd.
graphillion_for_windows
graphillion for Windows
reliability_tdzdd
Computing network reliability with TdZdd library
CoReViewer
A viewer for combinatorial reconfiguration
Language:TeX000
Language:C++MIT000
ddreconf-experiments2023
This repository provides the experiments for the paper on solving reconfiguration problems using DDs.
Language:PythonMIT000
Language:C++000
graph_data
グラフデータ
Language:Python000
graphillion
Fast, lightweight graphset operation library
Language:C++NOASSERTION000
BSD-3-Clause000
000
Language:Python000
numberlink_gen
numberlink instance generator
Language:C++000
000
Language:PythonNOASSERTION000
Language:C++NOASSERTION000
SAPPOROBDD
BDD Package - Sapporo Edition
MIT000
subsetting_example
An example of an implementation of the subsetting method using TdZdd
Language:C++000
MIT000
000