KBS answer set programming assignments. Requires the latest version of DLV: http://www.dlvsystem.com/dlv/ Online manual for the DLV: http://www.dlvsystem.com/html/DLV_User_Manual.html To execute: adjust then run the equivalent of the following (depending on the file names): ./dlv.bin cargo_guess.dl cargo_test1.dl ./dlv.bin -silent cargo_check_balance.dl cargo_check_gravity.dl cargo_guess.dl cargo_test1.dl -n=1