FreshPorts -- science/bddsolve/pkg-plist

As an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)Want a good monitor light? See my photosAll times are UTC

Bot filter coming soon

To deter bots pegging the database CPU to 100%, a bot testing filter to be added to the website. This should not affect newsfeeds etc. Anubis seems light-weight - it''''''''s already in use within the FreeBSD Project. This notice is just a heads up in case you see something odd. This notice will be updated after Anubis is installed.

non port: science/bddsolve/pkg-plist

Number of commits found: 2

Wednesday, 12 Nov 2014

18:48 antoine

Cleanup plist

Wednesday, 12 May 2010

13:25 beat

Bddsolve is a BDD-based tool for solving satisfiability and reachability
problems.  It uses the BDD package Buddy as a backend.

WWW: http://www.win.tue.nl/~wieger/bddsolve/

Submitted by:   ed@

Number of commits found: 2

Login
User Login Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts? About the authors Issues FAQ How big is it? Security Policy Privacy Blog Contact

Search
Enter Keywords: more...

Latest Vulnerabilities

firefox	May 19
firefox-esr	May 19
weechat	May 17
chromium	May 15
ungoogled-chromium	May 15
firefox	May 14
firefox-esr	May 14
firefox-esr	May 14
thunderbird	May 14
thunderbird	May 14
vscode	May 14
libxslt	May 13
varnish7	May 12
firefox	May 11
firefox	May 11

18 vulnerabilities affecting 284 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2025-05-19 16:19:55 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	33340
Broken	123
Deprecated	324
Ignore	241
Forbidden	1
Restricted	2
No CDROM	1
Vulnerable	32
Expired	32
Set to expire	269
Interactive	0
new 24 hours	40
new 48 hours	53
new 7 days	63
new fortnight	82
new month	163