dlvhex is a prototype solver for HEX-programs which integrate Answer-Set Programs with higher-order reasoning and external computation sources. It comes with a full-fledged plug-in framework for rapid extension development.
This project offers 3 basic tools for manipulating binary files: 1) flexible hexdump 2) hexencoder that reads a binary file and applies provided binary changes at given offsets and 3) a binary compare that gives summary of ranges where files differ