#checker #api #sfq-hfq #hfq-rs

app hfqco

hfq_rs的API

2个版本

0.0.4 2024年7月16日
0.0.3 2024年7月16日

#36 in 金融

MIT/Apache

14KB

hfqco

概要

将hfqco的Python版本重写为Rust,使其可以用于命令行。

用法

  1. 请安装josim-cli并创建一个可用的环境。
  2. 在终端中输入$ cargo install hfqco_rs

hfqco --- SFQ/HFQ 边界检查器 ---

用法: hfqco <filename> [<checkpoint_node>] [config] <hfq/sfq(bool)> rep

参数 [<checkpoint_node>] [config] <hfq/sfq(bool)> rep

示例:hfqco tests/circuit.jsm -p "P(3|X5|X34)" "P(3|X5|X54)" "P(3|X5|X44)" "P(3|X5|X72)"

依赖关系

~18–31MB
~445K SLoC