Binary Decision Diagrams (BDDs)
BDDs is the choice of data structure for Tau at the moment. "Working like the charmest charm" says Ohad Asor. Never seen him this satisfied with an implementation before.
Video by Model Checking.
BDDs is the choice of data structure for Tau at the moment. "Working like the charmest charm" says Ohad Asor. Never seen him this satisfied with an implementation before.
Video by Model Checking.
That right there is the embodiment of my worst nightmare.... math. I'm not kidding when I say I still have nightmares about that stuff from high school
Hello! Your post has been resteemed and upvoted by @ilovecoding because we love coding! Keep up good work! Consider upvoting this comment to support the @ilovecoding and increase your future rewards! ^_^ Steem On!
Reply !stop to disable the comment. Thanks!