文件名称:lab1_587mb:597_MB LAB1
文件大小:3.05MB
文件格式:ZIP
更新时间:2024-03-30 13:13:56
C
lab1_587mb:597_MB LAB1
【文件预览】:
lab1_587mb-main
----main.exe(143KB)
----.gitattributes(66B)
----example2.dimacs(467B)
----picosat()
--------version.c(168B)
--------mkconfig.sh(553B)
--------picosat.c(159KB)
--------picosat.h(28KB)
--------VERSION(4B)
--------configure.sh(3KB)
--------picogcnf.c(5KB)
--------LICENSE(1KB)
--------NEWS(5KB)
--------picomcs.c(8KB)
--------README(187B)
--------app.c(24KB)
--------picomus.c(12KB)
--------makefile.in(1KB)
--------main.c(107B)
----example1.dimacs(268B)
----ex2.v(6KB)
----stoplight2.v(3KB)
----ex3.v(17KB)
----stoplight1.v(2KB)
----PartA4()
--------ex1_testb.vcd(550KB)
--------stoplight2_testb.vvp(21KB)
--------stoplight1_testb.v(2KB)
--------ex1_testb.v(1KB)
--------ex2_testb.v(8KB)
--------stoplight2_testb.v(4KB)
--------ex4_testb.vvp(89KB)
--------stoplight1_testb.vvp(13KB)
--------ex3_testb.vvp(103KB)
--------READ ME(49B)
--------ex2_testb.vvp(42KB)
--------ex3_testb.vcd(3.74MB)
--------ex4_testb.v(16KB)
--------stoplight1_testb.vcd(2.7MB)
--------stoplight2_testb.vcd(216KB)
--------ex1_testb.vvp(4KB)
--------ex4_testb.vcd(3.7MB)
--------ex3_testb.v(19KB)
--------ex2_testb.vcd(5.39MB)
----demo.v(1011B)
----ex1.dimacs(250B)
----ex1.v(235B)
----ex4.v(13KB)
----Lab1.pdf(289KB)
----.gitignore(26B)
----main.c(17KB)