Search Results for "hanoi"
Sort By:
Showing 2 open source projects for "hanoi"
View related business solutions-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
Application Monitoring That Won't Slow Your App DownFull APM with errors, performance, logs, and uptime monitoring. 99.999% uptime SLA on the platform itself.
-
1
LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA
...Strejček: LTL to Büchi Automata Translation: Fast and More Deterministic, in Proceedings of TACAS 2012, volume 7214 of LNCS, pages 95-109. Springer-Verlag, 2012. LTL3BA supports output in Hanoi Omega-Automata (HOA) format since version 1.1.0. More information about HOA can be found here: http://adl.github.io/hoaf/ In order to compile LTL3BA, the BuDDy library (http://sourceforge.net/projects/buddy/) is needed. -
2
Hanoi in Basic
The Famous Recursive Algorithm In Old-Fashioned BASIC
This program is written in BWBasic, the version provided with DOSEMU, the DOS emulator. In this version of BASIC, you use GOSUB to call a procedure, and there are no local variables. So I used arrays to allocate memory for stacks, from where the "local variables" are taken. From this code you can learn how recursion and functions with dynamic local variables work.
- Previous
- You're on page 1
- Next
