8 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Adrián Arroyo Calle	0288d5dc19	Add ugraphs library	2021-12-31 12:56:24 +01:00
Adrián Arroyo Calle	0db2ca6659	Fix mistake in phrase_to_file/2 definition	2021-11-17 08:36:39 +01:00
Adrián Arroyo Calle	00d0502cbd	Rename init_file to disable_init_file	2021-08-23 09:53:15 +02:00
Adrián Arroyo Calle	dce0c43e26	Read scryerrc if goals specified but not -f specified	2021-08-20 14:15:16 +02:00
Adrián Arroyo Calle	80e228f236	Clean the code	2021-08-20 14:06:57 +02:00
Adrián Arroyo Calle	8ee2545b05	Add a -f switch to load alternative initialization files	2021-08-20 14:00:32 +02:00
Adrián Arroyo Calle	9bcc56e337	Make it line	2021-08-20 12:40:27 +02:00
Adrián Arroyo Calle	3c5a94452a	Fix #1009 by providing a naive num-bigint implementation of count_ones	2021-08-20 12:38:15 +02:00