• 1
• 0
• 1126

lucas/samples forked from Ascend/samples

暂停

CANN Samples

• 1
• 0
• 0

lucas/gpt-fast

• 1
• 0
• 0

lucas/vim-cpp-modern

• 1
• 0
• 0

lucas/shswitch

• 1
• 0
• 0

lucas/nerdtree

• 1
• 0
• 0

lucas/Vundle.vim

• 1
• 0
• 0

lucas/boolector

仅为了国内下载速度快

• 1
• 0
• 0

lucas/z3

仅为了国内下载速度快

• 1
• 0
• 0

lucas/yices2

仅为了国内下载速度快

• 1
• 0
• 0

lucas/cadical

仅为了国内下载速度快

• 1
• 0
• 0

lucas/yosys

仅为了国内下载速度快

• 1
• 0
• 0

lucas/lingeling

仅为了国内下载速度快

• 1
• 0
• 0

lucas/cryptominisat

仅为了国内下载速度快

• 1
• 0
• 0

lucas/kissat

仅为了国内下载速度快

• 1
• 0
• 0

lucas/aiger

仅为了国内下载速度快

• 1
• 0
• 0

lucas/bitwuzla

紧紧用于国内下载速度快

• 1
• 0
• 0

lucas/zsclib

python常用操作工具

• 1
• 0
• 0

lucas/xdot.py

引自开源仓：https://github.com/jrfonseca/xdot.py 主要是为了国内仓速度快

• 1
• 0
• 0

lucas/btor2tools

为了国内能快一点，从github clone