Instructions to update web: Make sure demo-files and ucam-smt are updated and available on the same directory as ucam-smt.github.io. Then, simply run doxygen in ucam-smt.github.io, commit changes and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback