273 reads

Verification of a Rust Implementation of Knuth’s Dancing Links Using ACL2: Related Work

by
byWhat is GitFlow? The Collaborative Git Alternative@gitflow

A branching model for Git, created by Vincent Driessen. #1 blog dedicated exclusively to forwarding the GitFlow agenda.

June 8th, 2024
featured image - Verification of a Rust Implementation of Knuth’s Dancing Links Using ACL2: Related Work
    Speed
    Voice
What is GitFlow? The Collaborative Git Alternative
← Previous

Rust Implementation of Knuth's Dancing Links: Conclusion, Acknowledgments, and References

Up Next →

Rust Implementation of Knuth's Dancing Links: RAC: Hardware/Software Co-Assurance at Scale

About Author

What is GitFlow? The Collaborative Git Alternative HackerNoon profile picture
What is GitFlow? The Collaborative Git Alternative@gitflow

A branching model for Git, created by Vincent Driessen. #1 blog dedicated exclusively to forwarding the GitFlow agenda.

Read my storiesAbout @gitflow

Comments

avatar

TOPICS

programming#rust#dancing-links#art-of-computer-programming#dancing-links-optimization#acl2-theorem-prover#co-assurance-language#restricted-algorithmic-c#restricted-algorithmic-rust

THIS ARTICLE WAS FEATURED IN

Arweave
viewblock
ViewBlock
TerminalTerminalLiteLite
Gitflow

Related Stories