<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Activity for PyBoolNet (hompage: github.com/hklarner)</title><link>https://sourceforge.net/p/boolnetfixpoints/activity/</link><description>Recent activity for PyBoolNet (hompage: github.com/hklarner)</description><language>en</language><lastBuildDate>Fri, 13 May 2016 10:17:02 -0000</lastBuildDate><item><title>PyBoolNet-1.0 released /PyBoolNet-1.0_manual.pdf</title><link>https://sourceforge.nethttps%3A//sourceforge.net/projects/boolnetfixpoints/files/PyBoolNet-1.0_manual.pdf/download</link><description/><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">PyBoolNet-1.0</dc:creator><pubDate>Fri, 13 May 2016 10:17:02 -0000</pubDate><guid>https://sourceforge.net/projects/boolnetfixpoints/files/PyBoolNet-1.0_manual.pdf/download</guid></item><item><title>Hannes Klarner committed [r189]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/189/</link><description>fixed typos in docstring of check_primes and ch...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Tue, 26 Apr 2016 14:17:55 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/189/</guid></item><item><title>Hannes Klarner committed [r188]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/188/</link><description>typo in docstring of EF_oneof_subspaces</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 30 Mar 2016 13:04:05 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/188/</guid></item><item><title>Hannes Klarner committed [r187]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/187/</link><description>fix in docstring</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 16 Mar 2016 15:41:52 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/187/</guid></item><item><title>Hannes Klarner committed [r186]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/186/</link><description>typo in function name and bugfix for networks w...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 16 Mar 2016 15:38:45 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/186/</guid></item><item><title>Hannes Klarner committed [r185]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/185/</link><description>added new function input_combinations(Primes) t...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 16 Mar 2016 15:29:06 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/185/</guid></item><item><title>Hannes Klarner committed [r184]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/184/</link><description>revert: settings.cfg is part of the package</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Tue, 08 Mar 2016 14:08:43 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/184/</guid></item><item><title>Hannes Klarner posted a comment on discussion Installation</title><link>https://sourceforge.net/p/boolnetfixpoints/discussion/installation/thread/d5530016/?limit=25#7c84</link><description>it seems that currently PyBoolNet works only for 32bit Linux out of the box. If you...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Mon, 07 Mar 2016 22:41:01 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/discussion/installation/thread/d5530016/?limit=25#7c84</guid></item><item><title>Anonymous posted a comment on discussion Installation</title><link>https://sourceforge.net/p/boolnetfixpoints/discussion/installation/thread/d5530016/?limit=25#41ad</link><description>After installing PyBoolNet on 64bit Ubuntu 14.04 and running &gt;&gt;&gt; import PyBoolNet...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Anonymous</dc:creator><pubDate>Mon, 07 Mar 2016 22:32:29 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/discussion/installation/thread/d5530016/?limit=25#41ad</guid></item><item><title>Hannes Klarner committed [r183]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/183/</link><description>typos</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 04 Mar 2016 17:03:00 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/183/</guid></item><item><title>Hannes Klarner committed [r182]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/182/</link><description>fixed mistake in documentation of PrimeImplican...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 04 Mar 2016 17:02:30 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/182/</guid></item><item><title>Hannes Klarner modified a comment on discussion General Discussion</title><link>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/5de546c8/?limit=25#e10c</link><description>Is the minimal DNF that is returned by QMC.primes2mindnf(Primes) unique?</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 04 Mar 2016 15:10:47 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/5de546c8/?limit=25#e10c</guid></item><item><title>Hannes Klarner modified a comment on discussion General Discussion</title><link>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/5de546c8/?limit=25#48b6</link><description>minimal DNFs are not unique. Here is an example of two minimal DNFs for the same...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 04 Mar 2016 15:10:06 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/5de546c8/?limit=25#48b6</guid></item><item><title>Hannes Klarner posted a comment on discussion General Discussion</title><link>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/5de546c8/?limit=25#48b6</link><description>minimal DNFs are not unique and QMC.primes2mindnf returns the first one it finds</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 04 Mar 2016 15:03:38 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/5de546c8/?limit=25#48b6</guid></item><item><title>Anonymous posted a comment on discussion General Discussion</title><link>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/5de546c8/?limit=25#e10c</link><description>The question is whether the minimal DNF that is returned by QMC.primes2mindnf(Primes)...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Anonymous</dc:creator><pubDate>Fri, 04 Mar 2016 15:02:59 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/5de546c8/?limit=25#e10c</guid></item><item><title>PyBoolNet. Release: End of January 2016 released /readme.txt</title><link>https://sourceforge.nethttps%3A//sourceforge.net/projects/boolnetfixpoints/files/readme.txt/download</link><description/><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">PyBoolNet. Release: End of January 2016</dc:creator><pubDate>Wed, 02 Mar 2016 12:25:02 -0000</pubDate><guid>https://sourceforge.net/projects/boolnetfixpoints/files/readme.txt/download</guid></item><item><title>PyBoolNet. Release: End of January 2016 released /PyBoolNet-1.0_linux.tar.gz</title><link>https://sourceforge.nethttps%3A//sourceforge.net/projects/boolnetfixpoints/files/PyBoolNet-1.0_linux.tar.gz/download</link><description/><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">PyBoolNet. Release: End of January 2016</dc:creator><pubDate>Wed, 02 Mar 2016 12:23:03 -0000</pubDate><guid>https://sourceforge.net/projects/boolnetfixpoints/files/PyBoolNet-1.0_linux.tar.gz/download</guid></item><item><title>PyBoolNet. Release: End of January 2016 released /PyBoolNet-1.0.pdf</title><link>https://sourceforge.nethttps%3A//sourceforge.net/projects/boolnetfixpoints/files/PyBoolNet-1.0.pdf/download</link><description/><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">PyBoolNet. Release: End of January 2016</dc:creator><pubDate>Wed, 02 Mar 2016 12:23:03 -0000</pubDate><guid>https://sourceforge.net/projects/boolnetfixpoints/files/PyBoolNet-1.0.pdf/download</guid></item><item><title>Hannes Klarner committed [r181]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/181/</link><description>bugfix for Tests.dependencies</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 02 Mar 2016 12:15:56 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/181/</guid></item><item><title>Hannes Klarner committed [r180]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/180/</link><description>tests for modules are not shipped anymore</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 02 Mar 2016 11:52:55 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/180/</guid></item><item><title>Hannes Klarner committed [r179]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/179/</link><description>repackaged the attractor detection algorithms f...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 02 Mar 2016 11:52:29 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/179/</guid></item><item><title>Hannes Klarner committed [r178]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/178/</link><description>repackaged the attractor detection algorithms f...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 02 Mar 2016 11:51:37 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/178/</guid></item><item><title>Anonymous posted a comment on discussion General Discussion</title><link>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/eefc1b53/?limit=25#d90f</link><description>Thank you, Hannes. I had a test with only 30 minterms differing from 13 variables...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Anonymous</dc:creator><pubDate>Tue, 01 Mar 2016 16:33:06 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/eefc1b53/?limit=25#d90f</guid></item><item><title>Hannes Klarner modified a comment on discussion General Discussion</title><link>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/eefc1b53/?limit=25#4575</link><description>Hi Hannes, I am recently using PyBoolNet again, and I forgot, what is the maximal...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Thu, 25 Feb 2016 15:07:26 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/eefc1b53/?limit=25#4575</guid></item><item><title>Hannes Klarner modified a comment on discussion General Discussion</title><link>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/eefc1b53/?limit=25#4575</link><description>Hi Hannes, I am recently using PyBoolNet again, and I forgot, what is the maximal...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Thu, 25 Feb 2016 15:07:09 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/eefc1b53/?limit=25#4575</guid></item><item><title>Hannes Klarner posted a comment on discussion General Discussion</title><link>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/eefc1b53/?limit=25#4575/d045</link><description>can you send me the bnet file? I am not sure what the limit is, but you are right:...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Thu, 25 Feb 2016 14:25:29 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/eefc1b53/?limit=25#4575/d045</guid></item><item><title>Anonymous posted a comment on discussion General Discussion</title><link>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/eefc1b53/?limit=25#4575</link><description>Hi Hannes, I am recently using PyBoolNet again, and I forgot, what is the maximal...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Anonymous</dc:creator><pubDate>Thu, 25 Feb 2016 14:23:33 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/discussion/general/thread/eefc1b53/?limit=25#4575</guid></item><item><title>Hannes Klarner committed [r177]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/177/</link><description>completeness_naive: renamed argument Subspaces ...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Mon, 15 Feb 2016 16:35:36 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/177/</guid></item><item><title>Hannes Klarner committed [r176]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/176/</link><description>renamed EF_all_unsteady to EF_unsteady_states t...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Mon, 15 Feb 2016 16:31:14 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/176/</guid></item><item><title>Hannes Klarner committed [r175]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/175/</link><description>bugfix for model checking of the empty Boolean ...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Mon, 15 Feb 2016 16:30:07 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/175/</guid></item><item><title>Hannes Klarner committed [r174]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/174/</link><description>renamed find_attractorstate_by_randomwalk_and_c...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Mon, 15 Feb 2016 15:23:06 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/174/</guid></item><item><title>Hannes Klarner committed [r173]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/173/</link><description>compute_attractors_tarjan: standard representat...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Mon, 15 Feb 2016 14:39:35 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/173/</guid></item><item><title>Hannes Klarner committed [r172]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/172/</link><description>settings.cfg must be added manually for win/lin...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 12 Feb 2016 16:28:18 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/172/</guid></item><item><title>Hannes Klarner committed [r171]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/171/</link><description>revert to NuSMV 2.5.4</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 12 Feb 2016 16:26:39 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/171/</guid></item><item><title>Hannes Klarner committed [r170]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/170/</link><description>refactoring and bugfixes</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 12 Feb 2016 16:26:02 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/170/</guid></item><item><title>Hannes Klarner committed [r169]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/169/</link><description>bugfix for auxillary variables: CHANGING remove...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 12 Feb 2016 16:25:08 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/169/</guid></item><item><title>Hannes Klarner committed [r168]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/168/</link><description>refactoring</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 12 Feb 2016 16:24:00 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/168/</guid></item><item><title>Hannes Klarner committed [r167]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/167/</link><description>not tested by user</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 12 Feb 2016 11:09:47 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/167/</guid></item><item><title>Hannes Klarner committed [r166]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/166/</link><description>not tested by user</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 12 Feb 2016 11:09:31 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/166/</guid></item><item><title>Hannes Klarner committed [r165]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/165/</link><description>completeness_iterative: almost finished, testin...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 03 Feb 2016 15:57:07 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/165/</guid></item><item><title>Hannes Klarner committed [r164]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/164/</link><description>remove_variables: bugfix</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 03 Feb 2016 14:49:25 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/164/</guid></item><item><title>Hannes Klarner committed [r163]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/163/</link><description>added tests for: univocal, faithful and complet...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Tue, 02 Feb 2016 15:03:29 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/163/</guid></item><item><title>Hannes Klarner committed [r162]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/162/</link><description>finished: univocal, faithful and completeness_n...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Tue, 02 Feb 2016 15:03:00 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/162/</guid></item><item><title>Hannes Klarner committed [r161]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/161/</link><description>bugfix</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Tue, 02 Feb 2016 15:02:02 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/161/</guid></item><item><title>Hannes Klarner committed [r160]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/160/</link><description>bugfixes</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Tue, 02 Feb 2016 15:01:44 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/160/</guid></item><item><title>Hannes Klarner committed [r159]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/159/</link><description>major revision for release v1.0</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 22 Jan 2016 17:58:29 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/159/</guid></item><item><title>Hannes Klarner committed [r158]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/158/</link><description>added str / dict representations for subspaces</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 22 Jan 2016 17:57:34 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/158/</guid></item><item><title>Hannes Klarner committed [r157]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/157/</link><description>percolate_constants: now always returns the nam...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 22 Jan 2016 17:56:51 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/157/</guid></item><item><title>Hannes Klarner committed [r156]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/156/</link><description>bugfix for coneofinfluence and disablecounterex...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 22 Jan 2016 17:55:17 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/156/</guid></item><item><title>Hannes Klarner committed [r155]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/155/</link><description>added tests for AttractorDetection</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 22 Jan 2016 17:53:50 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/155/</guid></item><item><title>Hannes Klarner committed [r154]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/154/</link><description>updated docstrings and minor stuff</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Thu, 21 Jan 2016 11:32:58 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/154/</guid></item><item><title>PyBoolNet. Release: End of December 2015 released /PyBoolNet.pdf</title><link>https://sourceforge.nethttp%3A//sourceforge.net/projects/boolnetfixpoints/files/PyBoolNet.pdf/download</link><description/><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">PyBoolNet. Release: End of December 2015</dc:creator><pubDate>Tue, 15 Dec 2015 14:31:02 -0000</pubDate><guid>http://sourceforge.net/projects/boolnetfixpoints/files/PyBoolNet.pdf/download</guid></item><item><title>Hannes Klarner committed [r153]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/153/</link><description>trap_spaces: updated docstrings</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Tue, 15 Dec 2015 11:55:32 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/153/</guid></item><item><title>Hannes Klarner committed [r152]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/152/</link><description>add_style_path: added penwidth argument</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Tue, 15 Dec 2015 11:54:24 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/152/</guid></item><item><title>Hannes Klarner committed [r151]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/151/</link><description>[bugfix] subgraphs2tree: false detection of non...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Tue, 15 Dec 2015 11:52:50 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/151/</guid></item><item><title>Hannes Klarner committed [r150]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/150/</link><description>added STGs.compute_attractors with test and doc...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 11 Dec 2015 11:46:02 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/150/</guid></item><item><title>Hannes Klarner committed [r149]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/149/</link><description>stg2dot: heuristic scaling based on update stra...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Thu, 10 Dec 2015 16:14:49 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/149/</guid></item><item><title>Hannes Klarner committed [r148]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/148/</link><description>typos</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Thu, 10 Dec 2015 16:14:09 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/148/</guid></item><item><title>Hannes Klarner committed [r147]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/147/</link><description>renamed SUCCESSORS to CHANGING and finished doc...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 09 Dec 2015 16:04:44 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/147/</guid></item><item><title>Hannes Klarner committed [r146]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/146/</link><description>added PyBoolNet.version() to query its version</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 09 Dec 2015 16:04:01 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/146/</guid></item><item><title>Hannes Klarner committed [r145]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/145/</link><description>StateTransitionGraphs:successors: bugfix for st...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Mon, 07 Dec 2015 11:55:42 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/145/</guid></item><item><title>PyBoolNet (release: End of Dec. 2015) released /PyBoolNet.pdf</title><link>https://sourceforge.nethttp%3A//sourceforge.net/projects/boolnetfixpoints/files/PyBoolNet.pdf/download</link><description/><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">PyBoolNet (release: End of Dec. 2015)</dc:creator><pubDate>Thu, 03 Dec 2015 15:57:04 -0000</pubDate><guid>http://sourceforge.net/projects/boolnetfixpoints/files/PyBoolNet.pdf/download</guid></item><item><title>Hannes Klarner committed [r144]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/144/</link><description>best_first_reachability: now returns paths. in ...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Thu, 03 Dec 2015 15:53:08 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/144/</guid></item><item><title>Hannes Klarner committed [r143]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/143/</link><description>docstring. trucking towards release</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Tue, 01 Dec 2015 17:02:11 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/143/</guid></item><item><title>Hannes Klarner committed [r142]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/142/</link><description>fixed a lot of doc strings</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 27 Nov 2015 16:07:48 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/142/</guid></item><item><title>PyBoolNet (release: Dec. 2015) released /pyboolnet_hands_on.py</title><link>https://sourceforge.nethttp%3A//sourceforge.net/projects/boolnetfixpoints/files/pyboolnet_hands_on.py/download</link><description/><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">PyBoolNet (release: Dec. 2015)</dc:creator><pubDate>Mon, 23 Nov 2015 12:51:03 -0000</pubDate><guid>http://sourceforge.net/projects/boolnetfixpoints/files/pyboolnet_hands_on.py/download</guid></item><item><title>PyBoolNet (release: Dec. 2015) released /pyboolnet_tutorial.pdf</title><link>https://sourceforge.nethttp%3A//sourceforge.net/projects/boolnetfixpoints/files/pyboolnet_tutorial.pdf/download</link><description/><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">PyBoolNet (release: Dec. 2015)</dc:creator><pubDate>Mon, 23 Nov 2015 12:33:04 -0000</pubDate><guid>http://sourceforge.net/projects/boolnetfixpoints/files/pyboolnet_tutorial.pdf/download</guid></item><item><title>PyBoolNet (release: Dec. 2015) released /bladder.bnet</title><link>https://sourceforge.nethttp%3A//sourceforge.net/projects/boolnetfixpoints/files/bladder.bnet/download</link><description/><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">PyBoolNet (release: Dec. 2015)</dc:creator><pubDate>Mon, 23 Nov 2015 11:32:05 -0000</pubDate><guid>http://sourceforge.net/projects/boolnetfixpoints/files/bladder.bnet/download</guid></item><item><title>PyBoolNet (release: Dec. 2015) released /example4.bnet</title><link>https://sourceforge.nethttp%3A//sourceforge.net/projects/boolnetfixpoints/files/example4.bnet/download</link><description/><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">PyBoolNet (release: Dec. 2015)</dc:creator><pubDate>Mon, 23 Nov 2015 11:32:05 -0000</pubDate><guid>http://sourceforge.net/projects/boolnetfixpoints/files/example4.bnet/download</guid></item><item><title>PyBoolNet (release: Dec. 2015) released /example6.bnet</title><link>https://sourceforge.nethttp%3A//sourceforge.net/projects/boolnetfixpoints/files/example6.bnet/download</link><description/><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">PyBoolNet (release: Dec. 2015)</dc:creator><pubDate>Mon, 23 Nov 2015 11:32:05 -0000</pubDate><guid>http://sourceforge.net/projects/boolnetfixpoints/files/example6.bnet/download</guid></item><item><title>PyBoolNet (release: Dec. 2015) released /example5.bnet</title><link>https://sourceforge.nethttp%3A//sourceforge.net/projects/boolnetfixpoints/files/example5.bnet/download</link><description/><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">PyBoolNet (release: Dec. 2015)</dc:creator><pubDate>Mon, 23 Nov 2015 11:32:05 -0000</pubDate><guid>http://sourceforge.net/projects/boolnetfixpoints/files/example5.bnet/download</guid></item><item><title>Hannes Klarner committed [r141]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/141/</link><description>minor stuff</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Mon, 23 Nov 2015 11:28:32 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/141/</guid></item><item><title>Hannes Klarner committed [r140]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/140/</link><description>naive_completeness: bugfix for primes with cons...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 20 Nov 2015 16:12:28 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/140/</guid></item><item><title>Hannes Klarner committed [r139]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/139/</link><description>activities2animation: counter agrees with length</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 20 Nov 2015 16:11:45 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/139/</guid></item><item><title>Hannes Klarner committed [r138]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/138/</link><description>stg2dot: default 'FnameDOT=None'</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 20 Nov 2015 16:10:56 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/138/</guid></item><item><title>Hannes Klarner committed [r137]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/137/</link><description>digraph2dot: bold graph labels</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 20 Nov 2015 16:10:19 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/137/</guid></item><item><title>Hannes Klarner committed [r136]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/136/</link><description>add_style_subspaces: better argument validation...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 20 Nov 2015 10:48:07 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/136/</guid></item><item><title>Hannes Klarner committed [r135]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/135/</link><description>changed name of multivalue encoding from 'traff...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 20 Nov 2015 10:47:12 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/135/</guid></item><item><title>Hannes Klarner committed [r134]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/134/</link><description>removed the 'TRANSITIONCOUNTER' feature for mod...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Fri, 13 Nov 2015 14:40:57 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/134/</guid></item><item><title>Hannes Klarner committed [r133]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/133/</link><description>minor fixes</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Thu, 12 Nov 2015 16:09:00 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/133/</guid></item><item><title>Hannes Klarner committed [r132]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/132/</link><description>improved temporal queries to allow strings, add...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Thu, 12 Nov 2015 10:38:03 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/132/</guid></item><item><title>Hannes Klarner committed [r131]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/131/</link><description>bugfix</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 11 Nov 2015 14:26:18 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/131/</guid></item><item><title>Hannes Klarner committed [r130]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/130/</link><description>styles fixes</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 11 Nov 2015 13:47:36 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/130/</guid></item><item><title>Hannes Klarner committed [r129]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/129/</link><description>styles fixes</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 11 Nov 2015 13:28:51 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/129/</guid></item><item><title>Hannes Klarner committed [r128]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/128/</link><description>default style for STGs does not include min-tra...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 11 Nov 2015 13:21:59 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/128/</guid></item><item><title>Hannes Klarner committed [r127]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/127/</link><description>added 'str2subspace(Primes,Str)' that converts ...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 11 Nov 2015 13:05:34 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/127/</guid></item><item><title>Hannes Klarner committed [r126]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/126/</link><description>rename 'VARIABLESCHANGING' to 'SUCCESSORS' (see...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 11 Nov 2015 13:04:28 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/126/</guid></item><item><title>Hannes Klarner committed [r125]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/125/</link><description>added 'init_for_multivalues(Primes)' which crea...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Tue, 10 Nov 2015 13:31:26 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/125/</guid></item><item><title>Hannes Klarner committed [r124]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/124/</link><description>added 'count(Subspaces)' for a list of subspaces</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Tue, 10 Nov 2015 13:29:03 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/124/</guid></item><item><title>Hannes Klarner committed [r123]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/123/</link><description>added 'add_style_condensation(IGraph)'</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Tue, 10 Nov 2015 13:26:50 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/123/</guid></item><item><title>Hannes Klarner committed [r122]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/122/</link><description>TrapSpaces: removed trap_spaces_projected as I ...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Thu, 05 Nov 2015 13:35:32 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/122/</guid></item><item><title>Hannes Klarner committed [r121]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/121/</link><description>bold labels</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Thu, 05 Nov 2015 13:33:59 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/121/</guid></item><item><title>Hannes Klarner committed [r120]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/120/</link><description>bold labels</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Thu, 05 Nov 2015 13:33:25 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/120/</guid></item><item><title>Hannes Klarner committed [r119]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/119/</link><description>depreceated cluster edges and added 'condensati...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Thu, 05 Nov 2015 10:48:04 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/119/</guid></item><item><title>Hannes Klarner committed [r118]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/118/</link><description> </description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 04 Nov 2015 16:03:47 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/118/</guid></item><item><title>Hannes Klarner committed [r117]</title><link>https://sourceforge.net/p/boolnetfixpoints/bnfp/117/</link><description>added capability to draw edges between clusters...</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Hannes Klarner</dc:creator><pubDate>Wed, 04 Nov 2015 16:03:03 -0000</pubDate><guid>https://sourceforge.net/p/boolnetfixpoints/bnfp/117/</guid></item></channel></rss>