;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; This file is part of "NOVA":  NOVA = search + COCOMO tools
; Copyright, 2008, Tim Menzies tim@menzies.us
;
; NOVA is free software: you can redistribute it and/or modify
; it under the terms of the GNU General Public License as published by
; the Free Software Foundation, either version 3 of the License, or
; (at your option) any later version.
;
; NOVA is distributed in the hope that it will be useful,
; but WITHOUT ANY WARRANTY; without even the implied warranty of
; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
; GNU General Public License for more details.
; You should have received a copy of the GNU General Public License
; a long with NOVA.  If not, see <http://www.gnu.org/licenses/>.
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(defun proj3b ()
  (load "apps/keys.lisp")
  (load "apps/simulatedannealing.lisp")
  (load "apps/isamp.lisp")
  (load "apps/tree-search.lisp")
  (load "apps/maxwalksat.lisp")

  (format t "Threat table mutator:~%")
  (init-db)
  (range! 'sced 1)
  (range! 'rely 5)
  (format t "SCED = 1, RELY = 5~%")
  (dotimes (i 10)
    (zaps)
    (format t "SCED-RELY multiplier = ~a~%" (rm2multiplier 'sced-rely)))

  (format t "~%Monte Carlo and completion:~%")
  (dotimes (i 5)
    (format t "Run ~a: ~a~%" (1+ i) (round (monte-carlo :n 1))))
  (format t "Median of 100 runs: ~a~%" (round (monte-carlo)))

  (format t "~%KEYS:~%")
  (format t "~a~%" (round (keys :max-trials 10)))

  (format t "~%Simulated annealing:~%")
  (format t "~a~%" (round (simulated-annealing :max-tries 10 :max-changes 10)))

  (format t "~%ISAMP:~%")
  (format t "~a~%" (round (isamp :max-tries 10)))

  (format t "~%Beam search:~%")
  (format t "~a~%" (round (beam :goal-e-per-kloc 0.1)))

  (format t "~%DFID:~%")
  (format t "~a~%" (round (dfid :goal-e-per-kloc 5)))

  (format t "~%MaxWalkSat:~%")
  (format t "~a~%" (maxwalksat :max-tries 10 :max-changes 10)))