Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
nix
 
 
src
 
 
 
 
 
 
 
 
 
 
 
 

A toy demo of the divide-and-conquer part of IDA.

A transcript of interaction:

What's the overall question?
> 2 + 3 + 4 + 5
Q: 2 + 3 + 4 + 5
Can you immediately answer this question? y/n
> n
What's the first subquestion then?
> 2 + 3
Any more subquestions? y/n
> y
What's the next subquestion then?
> 4 + 5
Any more subquestions? y/n
> n
Q: 2 + 3
Can you immediately answer this question? y/n
> y
Q: 4 + 5
Can you immediately answer this question? y/n
> y
What's the answer?
2 + 3
> 5
What's the answer?
4 + 5
> 9
Original question: 2 + 3 + 4 + 5
Subquestions and subanswers:
Q: 2 + 3
A: 5
Q: 4 + 5
A: 9
What's the answer?
> 14
The answer is: 14

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published