<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0">
  <channel>
    <title>PyPI recent updates for autocedar</title>
    <link>https://pypi.org/project/autocedar/</link>
    <description>Recent updates to the Python Package Index for autocedar</description>
    <language>en</language>    <item>
      <title>0.1.24</title>
      <link>https://pypi.org/project/autocedar/0.1.24/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 25 Jun 2026 20:42:41 GMT</pubDate>
    </item>    <item>
      <title>0.1.19</title>
      <link>https://pypi.org/project/autocedar/0.1.19/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 23:26:54 GMT</pubDate>
    </item>    <item>
      <title>0.1.18</title>
      <link>https://pypi.org/project/autocedar/0.1.18/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 23:01:05 GMT</pubDate>
    </item>    <item>
      <title>0.1.17</title>
      <link>https://pypi.org/project/autocedar/0.1.17/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 22:40:15 GMT</pubDate>
    </item>    <item>
      <title>0.1.16</title>
      <link>https://pypi.org/project/autocedar/0.1.16/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 21:11:15 GMT</pubDate>
    </item>    <item>
      <title>0.1.15</title>
      <link>https://pypi.org/project/autocedar/0.1.15/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 21:06:51 GMT</pubDate>
    </item>    <item>
      <title>0.1.14</title>
      <link>https://pypi.org/project/autocedar/0.1.14/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 20:49:26 GMT</pubDate>
    </item>    <item>
      <title>0.1.13</title>
      <link>https://pypi.org/project/autocedar/0.1.13/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 20:44:48 GMT</pubDate>
    </item>    <item>
      <title>0.1.12</title>
      <link>https://pypi.org/project/autocedar/0.1.12/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 20:39:15 GMT</pubDate>
    </item>    <item>
      <title>0.1.11</title>
      <link>https://pypi.org/project/autocedar/0.1.11/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 20:03:17 GMT</pubDate>
    </item>    <item>
      <title>0.1.10</title>
      <link>https://pypi.org/project/autocedar/0.1.10/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 19:45:25 GMT</pubDate>
    </item>    <item>
      <title>0.1.9</title>
      <link>https://pypi.org/project/autocedar/0.1.9/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 19:09:56 GMT</pubDate>
    </item>    <item>
      <title>0.1.8</title>
      <link>https://pypi.org/project/autocedar/0.1.8/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 19:02:24 GMT</pubDate>
    </item>    <item>
      <title>0.1.7</title>
      <link>https://pypi.org/project/autocedar/0.1.7/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 18:35:48 GMT</pubDate>
    </item>    <item>
      <title>0.1.6</title>
      <link>https://pypi.org/project/autocedar/0.1.6/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 18:16:08 GMT</pubDate>
    </item>    <item>
      <title>0.1.5</title>
      <link>https://pypi.org/project/autocedar/0.1.5/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 18:13:13 GMT</pubDate>
    </item>    <item>
      <title>0.1.4</title>
      <link>https://pypi.org/project/autocedar/0.1.4/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 17:52:17 GMT</pubDate>
    </item>    <item>
      <title>0.1.3</title>
      <link>https://pypi.org/project/autocedar/0.1.3/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 17:46:34 GMT</pubDate>
    </item>    <item>
      <title>0.1.2</title>
      <link>https://pypi.org/project/autocedar/0.1.2/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 17:38:58 GMT</pubDate>
    </item>    <item>
      <title>0.1.1</title>
      <link>https://pypi.org/project/autocedar/0.1.1/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 17:33:32 GMT</pubDate>
    </item>    <item>
      <title>0.1.0</title>
      <link>https://pypi.org/project/autocedar/0.1.0/</link>
      <description>Human-in-the-loop Cedar policy authoring with symbolic verification.</description>
<author>avatsa@stevens.edu</author>      <pubDate>Thu, 18 Jun 2026 17:22:40 GMT</pubDate>
    </item>  </channel>
</rss>