search

immesys / wave

Wide Area Verified Exchange - version 3
MIT License
33 stars 15 forks source link

added proof building using subsetsum #5

Open moustafa-a opened 5 years ago

moustafa-a commented 5 years ago

4 different solutions: 1.fastest 2.backtracking 3.dynamic programming 4.bruteforce