function satisfy_brute_test01 ( )

%*****************************************************************************80
%
%% satisfy_brute_test01() tests satisfy_brute().
%
%  Licensing:
%
%    This code is distributed under the MIT license.
%
%  Modified:
%
%    27 October 2022
%
%  Author:
%
%    John Burkardt
%
  fprintf ( 1, '\n' );
  fprintf ( 1, 'satisfy_brute_test01():\n' );
  fprintf ( 1, '  satisfy_brute() seeks values of logical\n' );
  fprintf ( 1, '  variables that make a given formula true\n' );

  n = 23;

  satisfy_brute ( n, @formula_01 );

  return
end

