search

utwente-fmt / sylvan

Multi-core Decision Diagram (BDD/LDD) implementation
Apache License 2.0
41 stars 8 forks source link

Update lace.h #15

Open gian21391 opened 6 years ago

gian21391 commented 6 years ago

C++11 deprecated the keyword register.