Skip to content

ArthurNieh/DQBF_Graph_Coloring

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

103 Commits
DQBDD @ a944d47
DQBDD @ a944d47
 
 
DSSATpre @ bf46c64
DSSATpre @ bf46c64
 
 
SharpSSAT @ 751c168
SharpSSAT @ 751c168
 
 
abc @ 9c70af3
abc @ 9c70af3
 
 
iscas89
iscas89
 
 
lsfr
lsfr
 
 
pedant-solver @ 68ebaec
pedant-solver @ 68ebaec
 
 
popsatgcpbcp @ 8f19dbf
popsatgcpbcp @ 8f19dbf
 
 
random_graph
random_graph
 
 
sample
sample
 
 
sudoku
sudoku
 
 
triangle_coloring
triangle_coloring
 
 
.gitmodules
.gitmodules
 
 
all_clique_sat_simplified_iscas.sh
all_clique_sat_simplified_iscas.sh
 
 
all_clique_simplified_iscas.sh
all_clique_simplified_iscas.sh
 
 
all_clique_simplified_iscas_dqbdd.sh
all_clique_simplified_iscas_dqbdd.sh
 
 
all_hamiltonian_or_simplified_sat.sh
all_hamiltonian_or_simplified_sat.sh
 
 
all_hamiltonian_simplified_iscas.sh
all_hamiltonian_simplified_iscas.sh
 
 
all_hamiltonian_simplified_iscas_dqbdd.sh
all_hamiltonian_simplified_iscas_dqbdd.sh
 
 
all_iscas.sh
all_iscas.sh
 
 
all_maxcut_sat_simplified.sh
all_maxcut_sat_simplified.sh
 
 
all_maxcut_simplified_iscas.sh
all_maxcut_simplified_iscas.sh
 
 
all_simplified_iscas.sh
all_simplified_iscas.sh
 
 
all_simplified_iscas_dqbdd.sh
all_simplified_iscas_dqbdd.sh
 
 
all_simplified_sat.sh
all_simplified_sat.sh
 
 
blif_gen.py
blif_gen.py
 
 
convert_to_cnf.py
convert_to_cnf.py
 
 
dockerfile
dockerfile
 
 
edge_color_iscas.sh
edge_color_iscas.sh
 
 
ff_table.sh
ff_table.sh
 
 
hamiltonian_iscas.sh
hamiltonian_iscas.sh
 
 
hamiltonian_simplified_iscas.sh
hamiltonian_simplified_iscas.sh
 
 
ilp_maxcut_simplified_iscas.sh
ilp_maxcut_simplified_iscas.sh
 
 
iscas.sh
iscas.sh
 
 
lsfr.sh
lsfr.sh
 
 
my_clique_iscas.sh
my_clique_iscas.sh
 
 
my_clique_simplified_iscas.sh
my_clique_simplified_iscas.sh
 
 
my_clique_simplified_iscas_dqbdd.sh
my_clique_simplified_iscas_dqbdd.sh
 
 
my_edge_color_iscas.sh
my_edge_color_iscas.sh
 
 
my_hamiltonian_simplified_iscas.sh
my_hamiltonian_simplified_iscas.sh
 
 
my_hamiltonian_simplified_iscas_dqbdd.sh
my_hamiltonian_simplified_iscas_dqbdd.sh
 
 
my_iscas.sh
my_iscas.sh
 
 
my_maxcut_iscas.sh
my_maxcut_iscas.sh
 
 
my_simplified_iscas.sh
my_simplified_iscas.sh
 
 
my_simplified_iscas_dqbdd.sh
my_simplified_iscas_dqbdd.sh
 
 
or_hamiltonian_simplified_iscas.sh
or_hamiltonian_simplified_iscas.sh
 
 
output.blif
output.blif
 
 
pi_table.sh
pi_table.sh
 
 
readme.md
readme.md
 
 
sat_clique_simplified_iscas.sh
sat_clique_simplified_iscas.sh
 
 
sat_iscas.sh
sat_iscas.sh
 
 
sat_maxcut_simplified_iscas.sh
sat_maxcut_simplified_iscas.sh
 
 
sat_simplified_iscas.sh
sat_simplified_iscas.sh
 
 
simplified_iscas.sh
simplified_iscas.sh
 
 
sudoku.sh
sudoku.sh
 
 
triangle_coloring.sh
triangle_coloring.sh
 
 
triangular_iscas.sh
triangular_iscas.sh
 
 

Repository files navigation

DQBF Graph coloring

This project proposed to solve graph coloring problem using state-of-the-art DQBF solver.

Author: ArthurNieh, cycloud0203, Hayooota

Build the solver

need to beunder Linux environment

cd pedant-solver
mkdir build && cd build
cmake ..
make

generate blif file

python3 blif_gen.py

About

project for solving graph coloring problem using state-of-the-art DQBF solver

Resources

Readme
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 3

  •  
  •  
  •  

Languages