Optimising generated rules for SAT solving (5/12 are duplicates)

From: Hans Petter Selasky <hps_at_selasky.org>
Date: Wed, 23 Nov 2016 15:27:44 +0100

FYI

I've made a patch to hopefully optimise SAT solving in our pkg utility.

https://github.com/freebsd/pkg/issues/1505

--HPS

Received on Wed Nov 23 2016 - 13:28:04 UTC

This message: [ Message body ]
Next message: Ed Schouten: "Re: Optimising generated rules for SAT solving (5/12 are duplicates)"
Previous message: KIRIYAMA Kazuhiko: "Re: fatal: Fssh_packet_write_poll: Connection from xxx.xxx.xx.xx port yyyyy: Permission denied"
In reply to: Hans Petter Selasky: "Re: pkg SAT_SOLVER bugs"
Next in thread: Ed Schouten: "Re: Optimising generated rules for SAT solving (5/12 are duplicates)"
Reply: Ed Schouten: "Re: Optimising generated rules for SAT solving (5/12 are duplicates)"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]

This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:08 UTC