Similar repositories to oldgalileo/satsolver:

• oldgalileo/satsolver github similar
• Licheng-Guo/AutoBridge github similar
• magic3007/Awesome-Design-Automation github similar
• cespare/diff github similar
• UCLA-VAST/GNN-DSE github similar
• lblopes/unixprogramming github similar
• zihaoli-cn/compiler-paper-reading github similar
• wincle626/HLS_Legup github similar
• circt-hls/circt-hls github similar
• noocene/vessels github similar
• zackthoutt/sudoku-ai github similar
• chenkie/next-prisma github similar
• daitoto/EDA-wiki github similar
• sifive/chisel-circt github similar
• DFiantHDL/DFiant github similar
• zslwyuan/Light-HLS github similar
• pkuzjx/EDA-wiki github similar
• chipsalliance/fpga-tool-perf github similar
• kumasento/polymer github similar
• The-OpenROAD-Project/OpenDB github similar
• oldgalileo/shakti github similar
• UCLA-VAST/tapa github similar
• spcl/pymlir github similar
• UCLA-VAST/AutoBridge github similar
• Xilinx/mlir-aie github similar
• gmathi/NovelLibrary github similar
• wsmoses/Polygeist github similar
• hanchenye/scalehls github similar
• dillonhuff/ahaHLS github similar
• chipsalliance/UHDM github similar
• KnowingNothing/compiler-and-arch github similar
• ucb-bar/hammer github similar
• apache/tvm-vta github similar
• aevum/libgdx-cpp github similar
• UCSBarchlab/PyRTL github similar
• phanrahan/magma github similar
• fabianschuiki/moore github similar
• cucapra/calyx github similar
• tensorflow/mlir-hlo github similar
• Xilinx/RapidWright github similar