Dimitrios Tsaras's repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:CNOASSERTION000
Language:PythonApache-2.0000
pyaig
PyAIG: A simpe Python AIG and Truth Tables package
Language:PythonNOASSERTION000
tensordict
TensorDict is a pytorch dedicated tensor container.
Language:PythonMIT000
torchrl_mcts
This is a proof of concept on how MCTS can be implemented on top of TorchRL
Language:PythonApache-2.0000