Alexander S. Kulikov's repositories
discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
circuit-synthesis
Finding Efficient Circuits Using SAT-solvers
Language:TeX000
User data from Github https://github.com/alexanderskulikov
JetBrains
Limassol, Cyprus
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Finding Efficient Circuits Using SAT-solvers