Realpaver for Mac

This modified version of realpaver to make it work with mac OS X

INSTALL

...

...

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
README.md		README.md
Realpaver_0_4_Mac.1		Realpaver_0_4_Mac.1
config.h		config.h
constant.c		constant.c
constant.h		constant.h
constraint.c		constraint.c
constraint.h		constraint.h
default_fpu.h		default_fpu.h
default_interval.c		default_interval.c
default_interval.h		default_interval.h
domain.c		domain.c
domain.h		domain.h
evaluator.c		evaluator.c
evaluator.h		evaluator.h
interval.c		interval.c
interval.h		interval.h
interval_interface.h		interval_interface.h
interval_interface_default.h		interval_interface_default.h
lexer.l		lexer.l
list_domains.c		list_domains.c
list_domains.h		list_domains.h
main.c		main.c
main.h		main.h
narrowing_hullbox.c		narrowing_hullbox.c
narrowing_hullbox.h		narrowing_hullbox.h
narrowing_newton.c		narrowing_newton.c
narrowing_newton.h		narrowing_newton.h
parser.c		parser.c
parser.h		parser.h
parser.y		parser.y
profile.c		profile.c
profile.h		profile.h
propagation_local.c		propagation_local.c
propagation_local.h		propagation_local.h
propagation_strong.c		propagation_strong.c
propagation_strong.h		propagation_strong.h
search.c		search.c
search.h		search.h
union_interval.c		union_interval.c
union_interval.h		union_interval.h
variable.c		variable.c
variable.h		variable.h