General Discussion > Computer Projects and Ideas

haroldbot (theorem prover / solver)

<< < (3/5) > >>

harold:
Update: added abs, changed >> to signed, added >>> as unsigned shift, solved a big bug in quantified solve mode
This new version is now online.

Sorunome:
This bot is just getting so awesome, nice work! :D

harold:
Update: everything is now signed. You can go back to unsigned with the keyword "unsigned".

harold:
Update: !!changed the meaning of >>>!! added some functions, added a fallback to a SAT solver, and improved the detection of simple expressions (ie when you say "haroldbot: a + b" it should say "[a + b]" instead of "[solution not constant]")

harold:
Small update: added ternary operator.

Navigation

[0] Message Index

[#] Next page

[*] Previous page