Module quaigh::io

Read and write logic networks to files

Functions

• read_bench
  Read a network in .bench format, as used by the ISCAS benchmarks
• read_blif
  Read a network in .blif format
• read_network_file
  Read a logic network from a file
• read_pattern_file
  Read patterns from a file
• read_patterns
  Read test patterns in Atalanta format
• write_bench
  Write a network in .bench format, as used by the ISCAS benchmarks
• write_blif
  Write a network in .blif format
• write_network_file
  Write a logic network to a file
• write_pattern_file
  Write patterns to a file
• write_patterns
  Write test patterns in Atalanta format