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

[A. Wilcox]

On 23/11/16 10:47, Ed Schouten wrote:
> 2016-11-23 17:41 GMT+01:00 Hans Petter Selasky <hps at selasky.org>:
>> GitHub wouldn't allow me to make a .diff attachment.
> 
> But there's absolutely no need for doing that in the first place! :-)
> 
> 1. Go to https://github.com/freebsd/pkg
> 2. Click 'Fork' on the top right. This will probably create a
> https://github.com/hselasky/pkg
> 3. Check out that repository using git(1), create a separate branch
> and commit the changes to the SAT solver.
> 4. Go to https://github.com/hselasky/pkg and click on 'New pull request'.
> 5. Fill in the form.
> 

Or you could just, I don't know, email the diff as a patch using git
send-email like normal people instead of using GitHub's walled garden.
That way, people without GitHub accounts can still comment on it.

Just my 2¢.

--arw
-- 
A. Wilcox (awilfox)
Open-source programmer (C, C++, Python)
https://code.foxkit.us/u/awilfox/

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <http://lists.freebsd.org/pipermail/freebsd-current/attachments/20161123/7e400fcc/attachment.sig>