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

From: Ed Schouten <ed_at_nuxi.nl>
Date: Wed, 23 Nov 2016 17:47:39 +0100
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.

-- 
Ed Schouten <ed_at_nuxi.nl>
Nuxi, 's-Hertogenbosch, the Netherlands
KvK-nr.: 62051717
Received on Wed Nov 23 2016 - 15:48:11 UTC

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