satisfy_brute_test, a Fortran77 code which calls satisfy_brute(), which uses brute force to find all assignments of values to a set of logical variables which make a complicated logical statement true.
The information on this web page is distributed under the MIT license.
satisfy_brute, a Fortran77 code which considers the change making problem, in which a given sum is to be formed using coins of various denominations.