dassbrothers
Ph.D. Scholar at IIT Kharagpur, West Bengal
Indian Institute of Technology KharagpurKharagpur, West Bengal
Pinned Repositories
dassbrothers
Config files for my GitHub profile.
dassbrothers.github.io
docker-images
Official source for Docker configurations, images, and examples of Dockerfiles for Oracle products and projects
Mastermind
Solving Mastermind Game using SAT
riscv-tests
xls
XLS: Accelerated HW Synthesis
Z3-IC3-PDR
Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
riscv-llvm-toolchain
dassbrothers's Repositories
dassbrothers/dassbrothers.github.io
dassbrothers/Mastermind
Solving Mastermind Game using SAT
dassbrothers/dassbrothers
Config files for my GitHub profile.
dassbrothers/docker-images
Official source for Docker configurations, images, and examples of Dockerfiles for Oracle products and projects
dassbrothers/riscv-tests