Taha Rostami's repositories
TahaRostami.github.io
A Jekyll theme I designed and implemented for my website using W3.CSS and inspired by a template from W3schools
NitPhonebook
NitPhoneBook (DEMO): Design and implementation of algorithm and software for Babol Noshirvani University of Technology to solve their problem with their out-of-the date phone-book tools
predicting-fault-revealing-mutants-by-estimating-the-difficulty-of-killing-them
The source code for the paper: FrMi: Fault-revealing Mutant Identification using killability severity
CnC
Cube-and-Conquer SAT solver
Language:C000
unidom
A modular domination solver
Language:C++GPL-3.0000