<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">

<p></p>

<div>I would like to talk about, <br>

<br>

"Using the Hypothesis package to solve the Fox-Hen-Grain problem". <br>

<br>

Talk Summary:</div>

<div><br>

Hypothesis is a Python package that helps in "property based testing". <br>

You can use it test your software by finding edge cases in your code you wouldn’t have thought to look for.

<br>

<br>

One of the powerful features of Hypothesis is Stateful Testing - which helps in testing state machines.

<br>

We will see how we can use Hypothesis to solve a couple of popular puzzles. <br>

<br>

</div>

<br>

<p></p>

</div>

</body>

</html>